Article thumbnail

Extracting the Range of cps from Affine Typing

By Josh Berdine, Peter O&apos and Hayo Thielecke

Abstract

Increasing degrees of reasoning about programs are being mechanized, and hence more formality is needed. Here we present an instance of this formalization in the form of a precise characterization of the range of the cps transformation using an ane type system. The point is that the range of cps is defined with a type system, that is, in a way quite accessible to tools

Year: 2007
OAI identifier: oai:CiteSeerX.psu:10.1.1.18.6658
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.dcs.qmul.ac.uk/~ber... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.