Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

JFP
2007

favoriteEmaildiscussreport

72views more JFP 2007»

On one-pass CPS transformations

13 years 4 months ago

On one-pass CPS transformations

Download www.brics.dk

Olivier Danvy, Kevin Millikin, Lasse R. Nielsen

Real-time Traffic

JFP 2007 |

claim paper

Related Content

» A New OnePass Transformation into Monadic Normal Form

» Code Transformations for OnePass Analysis

» A static simulation of dynamic delimited control

» Reasoning About Programs in ContinuationPassing Style

» Syntactic accidents in program analysis on the impact of the CPS transformation

» Verifying CPS transformations in IsabelleHOL

» Verifying the CPS Transformation in IsabelleHOL

» Linearly Used Effects Monadic and CPS Transformations into the Linear Lambda Calculus

» Optimizing Nested Loops Using Local CPS Conversion

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2007
Where	JFP
Authors	Olivier Danvy, Kevin Millikin, Lasse R. Nielsen

Comments (0)