Compiling with Continuations

Nonfiction, Computers, Programming, Programming Languages, Application Software, General Computing
Cover of the book Compiling with Continuations by Andrew W. Appel, Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Andrew W. Appel ISBN: 9781107384934
Publisher: Cambridge University Press Publication: February 1, 2007
Imprint: Cambridge University Press Language: English
Author: Andrew W. Appel
ISBN: 9781107384934
Publisher: Cambridge University Press
Publication: February 1, 2007
Imprint: Cambridge University Press
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Cambridge University Press

Cover of the book Property and Dispossession by Andrew W. Appel
Cover of the book The Old Regime and the Haitian Revolution by Andrew W. Appel
Cover of the book Constitutionalism and the Rule of Law by Andrew W. Appel
Cover of the book Sustainability in the Twenty-First Century by Andrew W. Appel
Cover of the book International Authority and the Responsibility to Protect by Andrew W. Appel
Cover of the book Diagnostic Techniques in Hematological Malignancies by Andrew W. Appel
Cover of the book Civic Ceremony and Religion in Medieval Bruges c.1300–1520 by Andrew W. Appel
Cover of the book Language, Space and Mind by Andrew W. Appel
Cover of the book Reasonable Disagreement by Andrew W. Appel
Cover of the book The Geology of Australia by Andrew W. Appel
Cover of the book Logical Modalities from Aristotle to Carnap by Andrew W. Appel
Cover of the book Western Union and the Creation of the American Corporate Order, 1845–1893 by Andrew W. Appel
Cover of the book Mental Health by Andrew W. Appel
Cover of the book Tort Law and Social Morality by Andrew W. Appel
Cover of the book Why Govern? by Andrew W. Appel
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy