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
Verfasser: Heckmann, Reinhold
Sprache: Englisch
Erscheinungsjahr: 1987
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: 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
SciDok-Publikation: 3-Apr-2013
Fakultät: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
Fachrichtung: MI - Informatik
Fakultät / Institution:MI - Fakultät für Mathematik und Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
fb14_1987_08.pdf24,29 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.