Denotational style correctness of a CPS-Transform based compiler

Show full item record

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: http://hdl.handle.net/1850/8764
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

Browse