Compiling with Continuations by Andrew W. Appel
Look inside with Google Book Preview
Compiling with Continuations
By Andrew W. Appel

Compiling with Continuations

By (author) See other recent books by Andrew W. Appel
Format: Paperback

Normal Price: $165.00
Your Price: $148.50 AUD, inc. GST
Shipping: $7.95 per order
You Save: $16.50! (10% off normal price)
Plus...earn $7.43 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply



Compiling with Continuations by Andrew W. Appel

Book 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.

Buy Compiling with Continuations book by Andrew W. Appel from Australia's Online Bookstore, Boomerang Books.


Book Details

ISBN: 9780521033114
ISBN-10: 052103311X
Format: Paperback
(247mm x 174mm x 15mm)
Pages: 272
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 1-Feb-2007
Country of Publication: United Kingdom

Other Editions...


Books By Author Andrew W. Appel

Program Logics for Certified Compilers by Andrew W. Appel Program Logics for Certified Compilers, Hardback (April 2014)

This tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq.

Modern Compiler Implementation in ML by Andrew W. Appel Modern Compiler Implementation in ML, Paperback (July 2004)

Describes all phases of a modern compiler, including techniques in code generation and register allocation for imperative, functional and object-oriented languages.

Modern Compiler Implementation in C by Andrew W. Appel Modern Compiler Implementation in C, Paperback (July 2004)

Describes all phases of a modern compiler, including techniques in code generation and register allocation for imperative, functional and object-oriented languages.

» View all books by Andrew W. Appel

Reviews

» Have you read this book? We'd like to know what you think about it - write a review about Compiling with Continuations book by Andrew W. Appel and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write a book review


Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Andrew W. Appel close
Alan Turing's Systems of Logic by Andrew W. Appel
Program Logics for Certified Compilers by Andrew W. Appel
Modern Compiler Implementation in ML by Andrew W. Appel
Modern Compiler Implementation in C by Andrew W. Appel
Modern Compiler Implementation in Java by Andrew W. Appel
»
BoomerangBooks.com.au close