Open AccessOn One-Pass CPS Transformations
Author(s) -
Olivier Danvy,
Lasse R. Nielsen
Publication year - 2002
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v9i3.21722
Subject(s) - transformation (genetics) , computer science , algebra over a field , calculus (dental) , bridge (graph theory) , lambda calculus , work (physics) , programming language , theoretical computer science , mathematics , pure mathematics , engineering , medicine , biochemistry , chemistry , dentistry , gene , mechanical engineering
We bridge two distinct approaches to one-pass CPS transformations, i.e., CPS transformations that reduce administrative redexes at transformation time instead of in a post-processing phase. One approach is compositional and higher-order, and is due to Appel, Danvy and Filinski, and Wand, building on Plotkin's seminal work. The other is non-compositional and based on a syntactic theory of the lambda-calculus, and is due to Sabry and Felleisen. To relate the two approaches, we use Church encoding, Reynolds's defunctionalization, and an implementation technique for syntactic theories, refocusing, developed in the second author's PhD thesis.