The formal relationship between direct and continuation-passing style optimizing compilers: A synthesis of two paradigms

Simple item page
dc.contributor.advisorFelleisen, Matthiasen_US
dc.creatorSabry, Amr Afafen_US
dc.date.accessioned2009-06-04T00:08:22Zen_US
dc.date.available2009-06-04T00:08:22Zen_US
dc.date.issued1995en_US
dc.description.abstractCompilers for higher-order programming languages like Scheme, ML, and Lisp can be broadly characterized as either "direct compilers" or "continuation-passing style (CPS) compilers", depending on their main intermediate representation. Our central result is a precise correspondence between the two compilation strategies. Starting from the theoretical foundations of direct and CPS compilers, we develop relationships between the main components of each compilation strategy: generation of the intermediate representation, simplification of the intermediate representation, code generation, and data flow analysis. For each component, our results pinpoint the superior compilation strategy, the reason for which it dominates the other strategy, and ways to improve the inferior strategy. Furthermore, our work suggests a synthesis of the direct and CPS compilation strategies that combines the best aspects of each. The contributions of this thesis include a comprehensive analysis of the properties of the CPS intermediate representation, a new optimal CPS transformation and its inverse, a new intermediate representation for direct compilers, an equivalence between the canonical equational theories for reasoning about continuations and general computational effects, a sound and complete equational axiomatization of the semantics of call-by-value control operators, a methodology for deriving equational logics for imperative languages, and formal relationships between code generators and data flow analyzers for direct and CPS compilers. These contributions unify concepts in two distinct compilation strategies, and can be used to compare specific compilers.en_US
dc.format.extent157 p.en_US
dc.format.mimetypeapplication/pdfen_US
dc.identifier.callnoTHESIS COMP.SCI. 1995 SABRYen_US
dc.identifier.citationSabry, Amr Afaf. "The formal relationship between direct and continuation-passing style optimizing compilers: A synthesis of two paradigms." (1995) Diss., Rice University. <a href="https://hdl.handle.net/1911/16878">https://hdl.handle.net/1911/16878</a>.en_US
dc.identifier.urihttps://hdl.handle.net/1911/16878en_US
dc.language.isoengen_US
dc.rightsCopyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder.en_US
dc.subjectComputer scienceen_US
dc.titleThe formal relationship between direct and continuation-passing style optimizing compilers: A synthesis of two paradigmsen_US
dc.typeThesisen_US
dc.type.materialTexten_US
thesis.degree.departmentComputer Scienceen_US
thesis.degree.disciplineEngineeringen_US
thesis.degree.grantorRice Universityen_US
thesis.degree.levelDoctoralen_US
thesis.degree.nameDoctor of Philosophyen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
9610702.PDF
Size:
5.23 MB
Format:
Adobe Portable Document Format
Download
Collections
Rice University Theses and Dissertations