Abstract
In the translator writing system DELTA*, the language to be translated and the translation process (including optimization) are described by means of semantic attributes. While this method provides a rigorous formal description, its practical applications suffer from the large number of attributes involved and from the problems encountered when evaluating them by synthesis and inheritance.
DELTA accepts the most general descriptions for the translation of programs of any length. It checks the consistency of the description, i.e. circularities, double definitions and non existing definitions in the semantic description of the language and of its translator. For each translated program, DELTA eliminates useless and identical attributes and produces a sequential evaluation of "productive" attributes.
A simplified version of DELTA accepts one pass left to right descriptions for semantic attributes evaluation during syntactic analysis.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
J. L. BOUCHENEZ, B. LORHO Identification des variables en PASCAL Journées PASCAL, Université de Nice (5–6 Juin 1975)
P. BOULLIER, F. BLAIZOT Projet DELTA: Description d'un langage algorithmique à structure de blocs Rapport LABORIA no 35 (1973)
F. L. DE REMER Practical translators for LR(k) Languages Ph. D. Thesis Massachussets Institute of Technology (1969)
M. ELSON, S. T. RAKE Code generation technique for large language compiles IBM System Journal no 3 p 166–187 (1970)
I. FANG FOLDS, a declarative formal language definition system Ph. D. Thesis Stanford University (1972)
M. GRIFFITHS LL (1) grammars and analysers Advanced course on compiler construction Munich (1974)
M. JAZAYERI, W. F. OGDEN, W. C. ROUNDS On the complexity of circularity tests for attribute grammars 2d ACM Symposium on Principle of Programming Languages Palo Alto (1975)
D. E. KNUTH Semantics of context free languages Math. Systems Theory vol. 2 no 2 p 127–145 (1968) Math. Systems Theory vol. 5 no 1 p 95–96 (1971)
B. LORHO De la définition à la traduction des langages de programmation: méthode des attributs sémantiques Thèse d'Etat Université Paul Sabatier Toulouse (1974)
B. LORHO Projet DELTA: Evaluation sémantique et analyse syntaxique LR Rapport LABORIA (to appear)
B. LORHO, C. PAIR Algorithms for checking consistency of attribute grammars Symposium IRIA Proving and Improving Programs p 29–54 (1975)
M. MARQUE-PUCHEU Application de la méthode des attributs à la définition des compilateurs Symposium IRIA Proving and Improving Programs p 263–283 (1975)
D. NEEL, M. AMIRCHAHY Semantic attributes and improvement of generated code ACM National Conference — San Diego (1974)
R. SETHI, J. D. ULLMAN The generation of optimal code for arithmetic expressions JACM vol. 17 no 4 p715–728 (1970)
D. TUSERA Example of transformation of a derivation tree for an expression by semantic attributes IFIP Congress Stockholm p 381–385 (1974)
D. A. WATT LR Parsing of affix grammars Report no 7 Computing Department, University of Glasgow (1974)
W. T. WILNER A declarative semantic definition Ph. D. Thesis Stanford University (1971)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Lorho, B. (1977). Semantic attributes processing in the system DELTA. In: Ershov, A., Koster, C.H.A. (eds) Methods of Algorithmic Language Implementation. Lecture Notes in Computer Science, vol 47. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08065-1_2
Download citation
DOI: https://doi.org/10.1007/3-540-08065-1_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08065-7
Online ISBN: 978-3-540-37510-4
eBook Packages: Springer Book Archive