A CPS-like Transformation of Continuation Marks
Download or Read eBook A CPS-like Transformation of Continuation Marks PDF written by Kimball R. Germane and published by . This book was released on 2012 with total page 67 pages. Available in PDF, EPUB and Kindle.
Author | : Kimball R. Germane |
Publisher | : |
Total Pages | : 67 |
Release | : 2012 |
ISBN-10 | : OCLC:853091914 |
ISBN-13 | : |
Rating | : 4/5 (14 Downloads) |
Book Synopsis A CPS-like Transformation of Continuation Marks by : Kimball R. Germane
Book excerpt: We present a CPS-like transformation from the call-by-value lambda calculus augmented with continuation marks to the pure call-by-value lambda calculus. We discuss how this transformation simplifies the construction of compilers which treat continuation marks correctly. We document an iterative, feedback-based approach using Redex. We accompany the transformation with a meaning-preservation theorem.