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... This description may be from another edition of this product.