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 Fighting the Mau Mau by Andrew W. Appel
Cover of the book Making Sense of Corruption by Andrew W. Appel
Cover of the book The Creation of Lancastrian Kingship by Andrew W. Appel
Cover of the book Quantum Field Theory by Andrew W. Appel
Cover of the book Arbitration and the Constitution by Andrew W. Appel
Cover of the book Topological Methods in Group Theory by Andrew W. Appel
Cover of the book Nation-Building in Turkey and Morocco by Andrew W. Appel
Cover of the book Cultural Foundations of Learning by Andrew W. Appel
Cover of the book Plato's Cosmology and its Ethical Dimensions by Andrew W. Appel
Cover of the book The Rise and Decline of an Iberian Bourgeoisie by Andrew W. Appel
Cover of the book The Cambridge Companion to Willa Cather by Andrew W. Appel
Cover of the book Handbook of Human Oocyte Cryopreservation by Andrew W. Appel
Cover of the book Non-State Actors as Standard Setters by Andrew W. Appel
Cover of the book Christianity and Natural Law by Andrew W. Appel
Cover of the book Seeking Human Rights Justice in Latin America 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