proceedings of a workshop ; Aarhus, Denmark, January 14-18, 1980
First Statement of Responsibility
ed. by Neil D. Jones.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
1980
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
IV, 489 Seiten
SERIES
Series Title
Lecture notes in computer science, 94.
CONTENTS NOTE
Text of Note
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.