Advertisement

Compiler Generators

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

  • Mads Tofte

Part of the EATCS book series (EATCS, volume 19)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Mads Tofte
    Pages 1-4
  3. Back Matter
    Pages 113-147

About this book

Introduction

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.

Keywords

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

Authors and affiliations

  • Mads Tofte
    • 1
  1. 1.Dept. of Computer ScienceUniversity of NigeriaNsukkaNigeria

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-61504-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-64857-1
  • Online ISBN 978-3-642-61504-7
  • Series Print ISSN 1431-2654
  • Buy this book on publisher's site