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

---

Content:
Front Matter....Pages -
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

---

Content:
Front Matter....Pages -
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
....