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 hdl:20.500.11880/26498 http://dx.doi.org/10.22028/D291-26442 |
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 | Size | Format | |
---|---|---|---|---|
fb14_1987_09.pdf | 22,93 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.