Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-26441
Titel: | Notes on TRAFOLA, II : the objects of the transformation language and the operations upon them |
VerfasserIn: | Heckmann, Reinhold |
Sprache: | Englisch |
Erscheinungsjahr: | 1987 |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | This note tries to treat formally several features introduced in the Study Note ´A Proposal for the Syntactic Part of the PROSPECTRA Transformation Language´, referred to as [1] in the sequel. At first we consider values and the operations on them. The term fragments of the study note contained exactly one hole, this will be generalized. Different kinds of syntactic insertion (inserting values into holes of another value) will be introduced, and their algebraic properties will be investigated. At last, we shall consider the number of partitions of a given term into an upper and lower fragment. At the end of this document, we give a summary of all definitions and theorems contained in it as a quick reference. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291-scidok-51315 hdl:20.500.11880/26497 http://dx.doi.org/10.22028/D291-26441 |
Schriftenreihe: | Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes |
Band: | 1987/08 |
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_08.pdf | 24,29 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.