Please use this identifier to cite or link to this item: doi:10.22028/D291-26442
Title: Notes on TRAFOLA, III : semantics of patterns
Author(s): Heckmann, Reinhold
Language: English
Year of Publication: 1987
DDC notations: 004 Computer science, internet
Publikation type: Report
Abstract: In this note, we shall make a proposal for the syntax and semantics of patterns in the transformation language TRAFOLA. First, we shall define and investigate semantic domains for ptterns, and consider semantic equivalence of patterns. Finally, some subclasses of patterns e.g. linear patterns, will be introduced.
Link to this record: urn:nbn:de:bsz:291-scidok-51324
Series name: Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes
Series volume: 1987/09
Date of registration: 3-Apr-2013
Faculty: MI - Fakultät für Mathematik und Informatik
Department: MI - Informatik
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
fb14_1987_09.pdf22,93 MBAdobe PDFView/Open

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.