Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-26442
Titel: | Notes on TRAFOLA, III : semantics of patterns |
VerfasserIn: | Heckmann, Reinhold |
Sprache: | Englisch |
Erscheinungsjahr: | 1987 |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
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 zu diesem Datensatz: | urn:nbn:de:bsz:291-scidok-51324 hdl:20.500.11880/26498 http://dx.doi.org/10.22028/D291-26442 |
Schriftenreihe: | Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes |
Band: | 1987/09 |
Datum des Eintrags: | 3-Apr-2013 |
Fakultät: | MI - Fakultät für Mathematik und Informatik |
Fachrichtung: | MI - Informatik |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
fb14_1987_09.pdf | 22,93 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.