Compiler Generators

1. Front Matter

   Pages I-XI

   PDF

2. Introduction

   • Mads Tofte

   Pages 1-4

3. Report on the Compiler Generator CERES

   • Mads Tofte

   Pages 5-65

4. Compiler Generation, Composability and Self-composability

   • Mads Tofte

   Pages 67-77

5. Discussion of Technical Aspects of Compiler Generation

   • Mads Tofte

   Pages 79-106

6. On Semantics, Compiler Generation, and Hacking

   • Mads Tofte

   Pages 107-111

7. Back Matter

   Pages 113-147

   PDF

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.

• Compiler
• Compilererzeugung
• Compilierung
• Denotationelle Semantik
• Formale Sprachdefiniton
• Programmiersprachen
• Syntax
• complexity
• formal language
• object oriented design
• programming
• programming language
• semantics

• Dept. of Computer Science, University of Nigeria, Nsukka, Nigeria

  Mads Tofte

Policies and ethics