Hostname: page-component-7479d7b7d-rvbq7 Total loading time: 0 Render date: 2024-07-13T19:55:29.491Z Has data issue: false hasContentIssue false

CPS transformation of flow information, Part II: administrative reductions

Published online by Cambridge University Press:  27 August 2003

DANIEL DAMIAN
Affiliation:
LION Bioscience Ltd., Compass House, 80–82 Newmarket Road, Cambridge CB5 8DZ, UK (e-mail: Daniel.Damian@uk.lionbioscience.com)
OLIVIER DANVY
Affiliation:
Department of Computer Science, University of Aarhus, Ny Munkegade, Building 540, DK-8000 Aarhus C, Denmark (e-mail: danvy@brics.dk)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We characterize the impact of a linear $\beta$-reduction on the result of a control-flow analysis. (By ‘a linear $\beta$-reduction’ we mean the $\beta$-reduction of a linear $\lambda$-abstraction, i.e., of a $\lambda$-abstraction whose parameter occurs exactly once in its body.) As a corollary, we consider the administrative reductions of a Plotkin-style transformation into Continuation-Passing Style (CPS), and how they affect the result of a constraint-based control-flow analysis and, in particular, the least element in the space of solutions. We show that administrative reductions preserve the least solution. Preservation of least solutions solves a problem that was left open in Palsberg and Wand's article ‘CPS Transformation of Flow Information.’ Together, Palsberg and Wand's article and the present article show how to map in linear time the least solution of the flow constraints of a program into the least solution of the flow constraints of the CPS counterpart of this program, after administrative reductions. Furthermore, we show how to CPS transform control-flow information in one pass.

Type
Article
Copyright
2003 Cambridge University Press

Footnotes

This work was carried out while the first author was at BRICS. Basic Research in Computer Science (www.brics.dk), funded by the Danish National Research Foundation.
Submit a response

Discussions

No Discussions have been published for this article.