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 Creativity in the Bronze Age by Andrew W. Appel
Cover of the book Peacemakers in Action: Volume 2 by Andrew W. Appel
Cover of the book Standards of English by Andrew W. Appel
Cover of the book After Obama by Andrew W. Appel
Cover of the book Questions by Andrew W. Appel
Cover of the book Latin Alive by Andrew W. Appel
Cover of the book British Plant Communities: Volume 2, Mires and Heaths by Andrew W. Appel
Cover of the book Public Philosophy in a New Key: Volume 2, Imperialism and Civic Freedom by Andrew W. Appel
Cover of the book Critical Feeling by Andrew W. Appel
Cover of the book European Security in NATO's Shadow by Andrew W. Appel
Cover of the book On Central Banking by Andrew W. Appel
Cover of the book The Cambridge Companion to Old English Literature by Andrew W. Appel
Cover of the book Brain Repair After Stroke by Andrew W. Appel
Cover of the book Socrates' Daimonic Art by Andrew W. Appel
Cover of the book The Reformation of the English Parish Church 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