Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 (Lecture Notes in Computer Science, 94) - Softcover

 
9783540102502: Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 (Lecture Notes in Computer Science, 94)
Softcover
ISBN 10: 3540102507 ISBN 13: 9783540102502
Publisher: Springer, 1980

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
1980
Language
English
ISBN 10 
3540102507
ISBN 13 
9783540102502
Binding
Paperback
Number of pages
495
Editor
Jones N.D.

Other Popular Editions of the Same Title

9780387102504: Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January, 1980 (Lecture Notes in Computer Science, 94)

Featured Edition

ISBN 10:  0387102507 ISBN 13:  9780387102504
Publisher: Springer Verlag, 1980
Softcover