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

last updated on Wed May 22 04:21:20 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page