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

Jones, N. D.

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

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540102507
ISBN 13 
9783540102502
Einband
Taschenbuch
Anzahl der Seiten
500
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

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