VERY GOOD: This book is in very good condition, showing only slight signs of use and wear. The covers are straight, the pages clean, and the spine tight.
Product Details
From the back cover: "Paperback Re-Issue: 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 cointuation-passing style is used as an intermedial representation on which to perform optimizations 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 book shows how concepts from the theory of programming languages can be applied to the production of practical optimizing compilers for modern languages such as ML. All the nitty-gritty details of compiling to really good machine code are covered, including the interface to a run-time system and garbage collector."
