Since 2014
CPS Transformation of Beta-Redexes
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
CPS Transformation of Beta-Redexes
|
|
| Creator |
Danvy, Olivier
Nielsen, Lasse R. |
|
| Description |
The extra compaction of the most compacting CPS transformation in existence, which is due to Sabry and Felleisen, is generally attributed to (1) making continuations occur first in CPS terms and (2) classifying more redexes as administrative. We show that this extra compaction is actually independent of the relative positions of values and continuations and furthermore that it is solely due to a context-sensitive transformation of beta-redexes. We stage the more compact CPS transformation into a first-order uncurrying phase and a context-insensitive CPS transformation. We also define a context-insensitive CPS transformation that provides the extra compaction. This CPS transformation operates in one pass and is dependently typed.
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
2004-12-11
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/21864
10.7146/brics.v11i39.21864 |
|
| Source |
BRICS Report Series; No 39 (2004): RS-39 CPS Transformation of Beta-Redexes
BRICS Report Series; No 39 (2004): RS-39 CPS Transformation of Beta-Redexes 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/21864/19291
|
|
| Rights |
Copyright (c) 2015 BRICS Report Series
|
|