Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Compiler Generators - Mads Tofte

Compiler Generators

What They Can Do, What They Might Do, and What They Will Probably Never Do

(Autor)

Buch | Hardcover
XI, 147 Seiten
1990 | 1990
Springer Berlin (Verlag)
978-3-540-51471-8 (ISBN)
CHF 149,75 inkl. MwSt
The OrIgIn of this monograph is a course entitled "Semantics directed Compiler Generation" which Professor Neil D. Jones gave in 1982 at Copenhagen University, where I was a student at the time. In this course, he described a compiler generator, called CERES, which he was developing. I immediately felt attracted to the unusual combination of mathematical reasoning about com pilers and the small intricate building blocks that made up the running system. As I came to understand the system I discovered that within the existing mathematical framework one could express compiler generation as a special case of compilation; this led to a specification of a compiler generator which was bootstrapped on itself resulting in a machine-generated compiler generator. The purpose of this monograph is to describe the CERES system we produced in 1983-84 and compare it with other systems, includ ing more recent ones. Also, it is as relevant today as it was then to discuss the role of compiler generators as an aid in the design and implementation of programming languages; this I do in Chap. 5. This monograph is a strongly revised version of the cando scient.

1 Introduction.- 1.1 The Scope of This Monograph.- 2 Report on the Compiler Generator CERES.- 2.1 Overview of CERES.- 2.2 Description of Input to CERES.- 2.3 The Object Language T.- 2.4 The Compilers Generated by CERES.- 2.5 The Compiler Generator.- 2.6 Implementation and Experience.- 3 Compiler Generation, Composability, and Self-composability.- 3.1 Programming Languages and Compilers.- 3.2 The Compiler Generation Problem.- 3.3 Using a Semantic Language to Define Programming Languages.- 3.4 Composability and Self-composability.- 4 Discussion of Technical Aspects of Compiler Generation.- 4.1 The Algebraic Connection.- 4.2 On Choosing Good Semantic Languages.- 4.3 Interface Problems.- 5 On Semantics, Compiler Generation, and Hacking.- 5.1 On the Nature of Machine-Readable Language Definitions.- 5.2 On Writing Language Definitions.- 5.3 On the Role of Mathematical Proofs.- Appendix 1 The LOOP Interpretation.- Appendix 4 The SelfComposer.- References.- Table of Symbols and Their Meanings.

Erscheint lt. Verlag 27.6.1990
Reihe/Serie Monographs in Theoretical Computer Science. An EATCS Series
Zusatzinfo XI, 147 p.
Verlagsort Berlin
Sprache englisch
Maße 178 x 254 mm
Gewicht 411 g
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Informatik Theorie / Studium Compilerbau
Schlagworte Compiler • Compilererzeugung • Compilierung • Complexity • Denotationelle Semantik • Formale Sprachdefiniton • Formale Sprache • formal language • Hardcover, Softcover / Informatik, EDV/Programmiersprachen • HC/Informatik, EDV/Programmiersprachen • object oriented design • Programmiersprache • Programmiersprachen • programming • Programming language • Semantics • Syntax
ISBN-10 3-540-51471-6 / 3540514716
ISBN-13 978-3-540-51471-8 / 9783540514718
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und Anwendungen

von Hanspeter Mössenböck

Buch | Softcover (2024)
dpunkt (Verlag)
CHF 41,85
a beginner's guide to learning llvm compiler tools and core …

von Kai Nacke

Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
CHF 69,80