Transforming denotational semantics into practical attribute grammars -- Compiler generation from denotational semantics -- From standard to implementation denotational semantics -- Specification of compilers as abstract data type representations -- More on advice on structuring compilers and proving them correct -- A constructive approach to compiler correctness -- Using category theory to design implicit conversions and generic operators -- On defining semantics by means of extended attribute grammars -- Tree-affix dendrogrammars for languages and compilers -- An implementation of affix grammars -- Experiences with the compiler writing system HLP -- Rule splitting and attribute-directed parsing -- Attribute-influenced LR parsing -- On the definition of an attribute grammar -- State transition machines for lambda-calculus expressions -- Semantic definitions in REFAL and automatic production of compilers -- On the formal definition of ADA
Bibliography
Includes bibliographical references
Notes
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
