Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980: 94 - Brossura

Jones, N. D.

 
9783540102502: Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980: 94
Brossura
ISBN 10: 3540102507 ISBN 13: 9783540102502
Casa editrice: Springer, 2008

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
3540102507
ISBN 13 
9783540102502
Rilegatura
Copertina flessibile
Numero di pagine
500
Contatto del produttore
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Germania

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  0387102507 ISBN 13:  9780387102504
Casa editrice: Springer Verlag, 1980
Brossura