Compiling with Continuations

Description

The control and data flow of a program can be represented using continuations, a concept from denotational semantics that has practical application in real compilers. This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations. Continuations can be used to compile most programming languages. The method is illustrated in a compiler for the programming language Standard ML. However, prior knowledge of ML is not necessary, as the author carefully explains each concept as it arises. This is the first book to show how concepts from the theory of programming languages can be applied to the producton of practical optimising compilers for modern languages like ML. This book will be essential reading for compiler writers in both industry and academe, as well as for students and researchers in programming language theory.

Get the book

Amazon.com

Search the book

eBay.com

Search the book

Other editions

• 

  Compiling with Continuations

  • 1992
  • 262 pages
  • Paperback
  • Cambridge University Press

Similar books

• 

  Modern Compiler Implementation in C

  By Andrew W. Appel

  is suitable for preliminary testing of Translate. Supporting files in $T G~.R/ chap7 include: tree . h, tree . c Data types for the Tree language. printtree . c Functions to display trees for debugging. and other files as before.

• 

  Program Logics for Certified Compilers

  By Andrew W. Appel, Xavier Leroy, Sandrine Blazy

  Finally,this structure is a Boolean algebra as well as a distributive lattice, and the complement operation is pointwise ... Given some tree s, we wish to find two trees s1 and s2 such that s1 ⊔s2 ∼= s and s1 ⊓s2 ∼= ◦ and both s1 ...

• 

  Programming Language Concepts

  By Peter Sestoft

  This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises.

• 

  Lisp in Small Pieces

  By Christian Queinnec

  This is a comprehensive account of the semantics and the implementation of the whole Lisp family of languages, namely Lisp, Scheme and related dialects.

• 

  Crafting Interpreters

  By Robert Nystrom

  You might even have fun. This book teaches you everything you need to know to implement a full-featured, efficient scripting language.

• 

  Modern Compiler Design

  By Dick Grune, Kees van Reeuwijk, Henri E. Bal

  The student who has finished this book can expect to understand the workings of and add to a language processor for each of the modern paradigms, and be able to read the literature on how to proceed.

• 

  The Implementation of Functional Programming Languages

  By Simon L. Peyton Jones

  The Implementation of Functional Programming Languages

• 

  Modern Compiler Implementation in ML

  By Andrew W. Appel

  Peyton Jones, S. and Partain, W. 1993. Measuring the effectiveness of a simple strictness analyser. In Functional Programming: Glasgow 1993, K. Hammond and M. O'Donnell, Eds. Springer Workshops in Computer Science.

• 

  Trends in Functional Programming: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

  By Meng Wang, Scott Owens

  ... Compiling with Continuations. Cambridge University Press, New York (2007) Flanagan, C., Sabry, A., Duba, B.F., Felleisen, M.: The essence of compiling with continuations. In: Proceedings of the ACM SIGPLAN 1993 Conference on Programming ...

• 

  Modern Compiler Implementation in Java

  By Andrew W. Appel

  ... meant to beindependent of any source language; also,the logical operators might beused in implementing other features of MiniJava. MEM(e) The contentsof wordSize bytes of memory starting at address e(where wordSizeis defined in the ...