Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Book;
Bericht
Titel:
Notes on TRAFOLA, II : the objects of the transformation language and the operations upon them
Beteiligte:
Heckmann, Reinhold
[VerfasserIn]
Erschienen:
Scientific publications of the Saarland University (UdS), 1987
Sprache:
Englisch
DOI:
https://doi.org/10.22028/D291-26441
Entstehung:
Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
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.