TY  - BOOK
AU  - Jones,Neil D.
ED  - SpringerLink (Online service)
TI  - Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980 
T2  - Lecture Notes in Computer Science,
SN  - 9783540383390
AV  - QA76.7-76.73 
U1  - 005.13 23
PY  - 1980///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Science
KW  - Programming Languages, Compilers, Interpreters
N1  - 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
UR  - http://dx.doi.org/10.1007/3-540-10250-7
ER  -