Selector-based versus conditional-constraint-based value-flow analysis of programs

Simple item page
dc.contributor.advisorFelleisen, Matthias
dc.creatorMeunier, Philippe Bernard
dc.date.accessioned2009-06-04T06:47:35Z
dc.date.available2009-06-04T06:47:35Z
dc.date.issued2002
dc.description.abstractMrSpidey, a program debugger for PLT Scheme, infers the flow of values in a program. It uses Flanagan's selector-based analysis framework. Unfortunately, due to limitations of that framework, the debugger often flags potential errors where none exists. In particular, it is too conservative when analyzing n-ary functions, functions with rest arguments, and arity-overloaded functions (case-lambda). Flanagan's analysis can be extended to give more precise results, but at the cost of a high running time. We therefore conclude that this framework is not well suited to analyzing functions in real-world programming languages. To overcome the limitations of Flanagan's framework, we develop an alternative based on Palsberg and Schwartzbach's conditional constraint rules. After scaling the analysis to the full R5RS Scheme language (adding primitives using types, multiples values, imperativeness, and generative structures), experiments show that it infers value sets as precisely as the extended selector-based analysis and runs significantly faster.
dc.format.extent59 p.en_US
dc.format.mimetypeapplication/pdf
dc.identifier.callnoTHESIS COMP.SCI. 2002 MEUNIER
dc.identifier.citationMeunier, Philippe Bernard. "Selector-based versus conditional-constraint-based value-flow analysis of programs." (2002) Master’s Thesis, Rice University. <a href="https://hdl.handle.net/1911/17532">https://hdl.handle.net/1911/17532</a>.
dc.identifier.urihttps://hdl.handle.net/1911/17532
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.subjectComputer science
dc.titleSelector-based versus conditional-constraint-based value-flow analysis of programs
dc.typeThesis
dc.type.materialText
thesis.degree.departmentComputer Science
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:
1408691.PDF
Size:
2.12 MB
Format:
Adobe Portable Document Format
Download
Collections
Rice University Electronic Theses and Dissertations