Advertisement

Semantic attributes processing in the system DELTA

  • Bernard Lorho
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 47)

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

Dependency Graph Parse Tree Context Free Grammar Semantic Description Attribute Grammar 
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.

Unable to display preview. Download preview PDF.

References

  1. [1]
    J. L. BOUCHENEZ, B. LORHO Identification des variables en PASCAL Journées PASCAL, Université de Nice (5–6 Juin 1975)Google Scholar
  2. [2]
    P. BOULLIER, F. BLAIZOT Projet DELTA: Description d'un langage algorithmique à structure de blocs Rapport LABORIA no 35 (1973)Google Scholar
  3. [3]
    F. L. DE REMER Practical translators for LR(k) Languages Ph. D. Thesis Massachussets Institute of Technology (1969)Google Scholar
  4. [4]
    M. ELSON, S. T. RAKE Code generation technique for large language compiles IBM System Journal no 3 p 166–187 (1970)Google Scholar
  5. [5]
    I. FANG FOLDS, a declarative formal language definition system Ph. D. Thesis Stanford University (1972)Google Scholar
  6. [6]
    M. GRIFFITHS LL (1) grammars and analysers Advanced course on compiler construction Munich (1974)Google Scholar
  7. [7]
    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)Google Scholar
  8. [8]
    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)Google Scholar
  9. [9]
    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)Google Scholar
  10. [10]
    B. LORHO Projet DELTA: Evaluation sémantique et analyse syntaxique LR Rapport LABORIA (to appear)Google Scholar
  11. [11]
    B. LORHO, C. PAIR Algorithms for checking consistency of attribute grammars Symposium IRIA Proving and Improving Programs p 29–54 (1975)Google Scholar
  12. [12]
    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)Google Scholar
  13. [13]
    D. NEEL, M. AMIRCHAHY Semantic attributes and improvement of generated code ACM National Conference — San Diego (1974)Google Scholar
  14. [14]
    R. SETHI, J. D. ULLMAN The generation of optimal code for arithmetic expressions JACM vol. 17 no 4 p715–728 (1970)Google Scholar
  15. [15]
    D. TUSERA Example of transformation of a derivation tree for an expression by semantic attributes IFIP Congress Stockholm p 381–385 (1974)Google Scholar
  16. [16]
    D. A. WATT LR Parsing of affix grammars Report no 7 Computing Department, University of Glasgow (1974)Google Scholar
  17. [17]
    W. T. WILNER A declarative semantic definition Ph. D. Thesis Stanford University (1971)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • Bernard Lorho
    • 1
  1. 1.IRIA — LABORIA Domaine de Voluceau — RocquencourtChesnayFrance

Personalised recommendations