You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Book;
Report
Title:
Notes on TRAFOLA, II : the objects of the transformation language and the operations upon them
Contributor:
Heckmann, Reinhold
[Author]
imprint:
Scientific publications of the Saarland University (UdS), 1987
Language:
English
DOI:
https://doi.org/10.22028/D291-26441
Origination:
Footnote:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Description:
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.