Denotational style correctness of a CPS-Transform based compiler

Show full item record

Redirect: RIT Scholars content from RIT Digital Media Library has moved from to RIT Scholar Works, please update your feeds & links!
Title: Denotational style correctness of a CPS-Transform based compiler
Author: Nunes-Harwitt, Arthur
Abstract: Correctness is a crucial property for compilers; programmers rely on it when writing code. Ideally, correctness should be proved. Work on compiler correctness has focused on direct translation strategies. However, in practice, the continuation passing style (CPS) transform (or a variant) is often used in the translation process. Here a simple source language and its CPS-transform based compiler are introduced. A tractable proof for this compiler is presented, including a denotational proof of the correctness of a CPS-transform. The benefits of the proof are discussed.
Description: RIT department of computer science technical report.
Record URI:
Date: 2008

Files in this item

Files Size Format View
ANunes-HarwittTechnicalReport2008.pdf 170.5Kb PDF View/Open

The following license files are associated with this item:

This item appears in the following Collection(s)

Show full item record

Search RIT DML

Advanced Search