Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do (Monographs in Theoretical Computer Science. An E.A.T.C.S. Series) - Couverture souple

Tofte, Mads

 
9783642648571: Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do (Monographs in Theoretical Computer Science. An E.A.T.C.S. Series)
Couverture souple
ISBN 10 : 3642648576 ISBN 13 : 9783642648571
Editeur : Springer-Verlag, 1990

Synopsis

This monograph is concerned with the problem of getting computers to transform formal language definitions into compilers. Its purpose is to demonstrate how certain simple theoretical ideas can be used to generate compilers and even compiler generators. As the title suggests, a realistic assessment of the relationship between the complexity of realistic compilation and the relative simplicity studied in theoretical work is attempted. The monograph contains an overview of existing compiler generators. The Ceres '83 compiler generator, developed by Neil D. Jones and the author, is described in detail. The Ceres system is based on the idea of composing language definitions and it serves as an example of a powerful novel "bootstrapping" technique by which one can generate compiler generators as well as compilers by considering a compiler generator to be, in a sense which is made mathematically precise, a special kind of compiler. The core of the Ceres system is a two-page-long machine generated compiler generator. The approach uses ideas from denotational semantics and many-sorted algebra and connects them with novel ideas about how to treat programs and language definitions as data. Considerable effort has been made to present the necessary theory in a manner suitable for readers who have some practical experience but not necessarily a theoretical background in semantics.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

This monograph is concerned with the problem of getting computers to transform formal language definitions into compilers. Its purpose is to demonstrate how certain simple theoretical ideas can be used to generate compilers and even compiler generators. As the title suggests, a realistic assessment of the relationship between the complexity of realistic compilation and the relative simplicity studied in theoretical work is attempted. The monograph contains an overview of existing compiler generators. The Ceres '83 compiler generator, developed by Neil D. Jones and the author, is described in detail. The Ceres system is based on the idea of composing language definitions and it serves as an example of a powerful novel "bootstrapping" technique by which one can generate compiler generators as well as compilers by considering a compiler generator to be, in a sense which is made mathematically precise, a special kind of compiler. The core of the Ceres system is a two-page-long machine generated compiler generator. The approach uses ideas from denotational semantics and many-sorted algebra and connects them with novel ideas about how to treat programs and language definitions as data. Considerable effort has been made to present the necessary theory in a manner suitable for readers who have some practical experience but not necessarily a theoretical background in semantics.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag
Date d'édition
1990
Langue
anglais
ISBN 10 
3642648576
ISBN 13 
9783642648571
Reliure
Broché
Nombre de pages
164
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540514718: Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do

Edition présentée

ISBN 10 :  3540514716 ISBN 13 :  9783540514718
Editeur : Springer-Verlag Berlin and Heide..., 1990
Couverture rigide