Reasoning About Staged Programs

Simple item page
dc.contributor.advisorTaha, Walid
dc.creatorInoue, Jun
dc.date.accessioned2012-06-01T17:09:39Z
dc.date.available2012-06-01T17:09:39Z
dc.date.issued2010
dc.description.abstractThis thesis establishes formal equational properties of multi-stage calculi and related proof techniques that support analyses of staged programs. A key promise of staging is to make programs efficient without destroying clarity, thereby reducing the likelihood of bugs. However, few publications rigorously verify that their staged programs indeed behave as intended. In fact, little is known about how staged programs can be verified, or what correctness issues staging introduces. To solve this problem, I show a reduction of the correctness of a staged program to that of an unstaged program. This reduction not only clarifies the effects of staging on program behavior but also eases verification, as unstaged programs are more susceptible to existing reasoning techniques. I also demonstrate that important single-stage reasoning techniques apply to staged programs. These techniques are useful for establishing side conditions for the reduction and for discovering or validating further reasoning principles.
dc.description.sponsorshipNSF grant CCF-0747431en_US
dc.format.mimetypeapplication/pdf
dc.identifier.callnoTHESIS E.E. 2011 INOUE
dc.identifier.citationInoue, Jun. "Reasoning About Staged Programs." (2010) Master’s Thesis, Rice University. <a href="https://hdl.handle.net/1911/64204">https://hdl.handle.net/1911/64204</a>.
dc.identifier.urihttps://hdl.handle.net/1911/64204
dc.language.isoeng
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.
dc.subjectStaging
dc.subjectMulti-stage programming
dc.subjectFormal semantics
dc.subjectEquational theory
dc.subjectFormal verification
dc.subjectFunctional programming
dc.titleReasoning About Staged Programs
dc.typeThesis
dc.type.materialText
thesis.degree.departmentElectrical Engineering
thesis.degree.disciplineEngineering
thesis.degree.grantorRice University
thesis.degree.levelMasters
thesis.degree.nameMaster of Science
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
jun-inoue-masters-thesis.pdf
Size:
854.27 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.79 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Rice University Electronic Theses and Dissertations