Set-Based Analysis for Full Scheme and Its Use in Soft-Typing

Simple item page
dc.contributor.authorFelleisen, Matthias
dc.contributor.authorFlanagan, Cormac
dc.date.accessioned2017-08-02T22:03:27Z
dc.date.available2017-08-02T22:03:27Z
dc.date.issued1995-10
dc.date.noteOctober 1995
dc.description.abstractSet-Based Analysis is an efficient and accurate program analysis for higher-order languages. It exploits an intuitive notion of approximation that treats program variables as sets of values. We present a new derivation of set-based analysis, based on a reduction semantics, that substantially simplifies previous formulations. Most importantly, the derivation easily extends from a functional core language to include imperative features such as assignments and first-class continuations, and supports the first correctness proof of set-based analysis for these imperative features. The paper includes an implementation of the derived analysis for a Scheme-like language, and describes a soft-typing algorithm that eliminates type-checks based on the information produced by the analysis.
dc.format.extent34 pp
dc.identifier.citationFelleisen, Matthias and Flanagan, Cormac. "Set-Based Analysis for Full Scheme and Its Use in Soft-Typing." (1995) https://hdl.handle.net/1911/96452.
dc.identifier.digitalTR95-254
dc.identifier.urihttps://hdl.handle.net/1911/96452
dc.language.isoeng
dc.rightsYou are granted permission for the noncommercial reproduction, distribution, display, and performance of this technical report in any format, but this permission is only for a period of forty-five (45) days from the most recent time that you verified that this technical report is still available from the Computer Science Department of Rice University under terms that include this permission. All other rights are reserved by the author(s).
dc.titleSet-Based Analysis for Full Scheme and Its Use in Soft-Typing
dc.typeTechnical report
dc.type.dcmiText
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR95-254.pdf
Size:
18.76 MB
Format:
Adobe Portable Document Format
Download
Collections
Computer Science Technical Reports