Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Harald Ganzinger (auth.), Neil D. Jones (eds.)3540102507, 9783540102502

Table of contents :
Transforming denotational semantics into practical attribute grammars….Pages 1-69
Compiler generation from denotational semantics….Pages 70-93
From standard to implementation denotational semantics….Pages 94-139
Specification of compilers as abstract data type representations….Pages 140-164
More on advice on structuring compilers and proving them correct….Pages 165-188
A constructive approach to compiler correctness….Pages 189-210
Using category theory to design implicit conversions and generic operators….Pages 211-258
On defining semantics by means of extended attribute grammars….Pages 259-299
Tree-affix dendrogrammars for languages and compilers….Pages 300-319
An implementation of affix grammars….Pages 320-349
Experiences with the compiler writing system HLP….Pages 350-362
Rule splitting and attribute-directed parsing….Pages 363-392
Attribute-influenced LR parsing….Pages 393-407
On the definition of an attribute grammar….Pages 408-414
State transition machines for lambda-calculus expressions….Pages 415-440
Semantic definitions in REFAL and automatic production of compilers….Pages 441-474
On the formal definition of ADA….Pages 475-489