Compiling with Continuations

Book Description

This book shows how continuation-passing style is used as an intermediate representation to perform optimizations and program transformations. Continuations can be used to compile most languages. The method is illustrated in a compiler for the language Standard ML. Prior knowledge of ML, however, is not necessary, as the author carefully explains each concept as it arises. This is the first book to show how concepts from the of programming languages can be applied to the production of practical optimizing compilers for modern languages like ML. All the details of compiling are covered, including the to a runtime system and garbage collector.

Book Details

  • Title: Compiling with Continuations
  • Author:
  • Length: 272 pages
  • Edition: 1
  • Language: English
  • Publisher:
  • Publication Date: 2007-02-12
  • ISBN-10: 052103311X
  • ISBN-13: 9780521033114