Semantics-Directed Compiler Generation 1980: Aarhus, Denmark

Compilers Based on Denotational Semantics

• Harald Ganzinger:
  Transforming denotational semantics into practical attribute grammars. 1-69
  
• Neil D. Jones, David A. Schmidt:
  Compiler generation from denotational semantics. 70-93
  
• Martin R. Raskovsky, Philip A. Collier:
  From standard to implementation denotational semantics. 94-139
  

Compiling and Algebraic Semantics

• Marie-Claude Gaudel:
  Specification of compilers as abstract data type representations. 140-164
  
• James W. Thatcher, Eric G. Wagner, Jesse B. Wright:
  More on advice on structuring compilers and proving them correct. 165-188
  
• Peter D. Mosses:
  A constructive approach to compiler correctness. 189-210
  
• John C. Reynolds:
  Using category theory to design implicit conversions and generic operators. 211-258
  

Attribute and Affix Grammars

• Ole Lehrmann Madsen:
  On defining semantics by means of extended attribute grammars. 259-299
  
• Frank DeRemer, Richard Jüllig:
  Tree-affix dendrogrammars for languages and compilers. 300-319
  
• Hans Meijer:
  An implementation of affix grammars. 320-349
  
• Kari-Jouko Räihä:
  Experiences with the compiler writing system HLP. 350-362
  
• David A. Watt:
  Rule splitting and attribute-directed parsing. 363-392
  
• Neil D. Jones, C. Michael Madsen:
  Attribute-influenced LR parsing. 393-407
  
• Martti Tienari:
  On the definition of attribute grammar. 408-414
  

Related Topics

• David A. Schmidt:
  State transition machines for lambda calculus expressions. 415-440
  
• Valentin F. Turchin:
  Semantic definitions in REFAL and the automatic production of compilers. 441-474
  
• Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang:
  On the formal definition of ADA. 475-489