Semantics-Directed Compiler Generation 1980: Aarhus, Denmark

Neil D. Jones (Ed.): Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980. Lecture Notes in Computer Science 94 Springer 1980, ISBN 3-540-10250-7 BibTeX

@proceedings{DBLP:conf/cc/1980,
  editor    = {Neil D. Jones},
  title     = {Semantics-Directed Compiler Generation, Proceedings of a Workshop,
               Aarhus, Denmark, January 14-18, 1980},
  booktitle = {Semantics-Directed Compiler Generation},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {94},
  year      = {1980},
  isbn      = {3-540-10250-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Compilers Based on Denotational Semantics

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

Compiling and Algebraic Semantics

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

Attribute and Affix Grammars

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

Semantics-Directed Compiler Generation 1980: Aarhus, Denmark

Compilers Based on Denotational Semantics

Compiling and Algebraic Semantics

Attribute and Affix Grammars

Related Topics