The semantics of Scheme control-flow analysis (1991)
Cached
Download Links
- [repository.readscheme.org]
- [www2.cs.cornell.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | School of Computer Science, Pittsburgh |
| Citations: | 53 - 3 self |
BibTeX
@TECHREPORT{Shivers91thesemantics,
author = {Olin Shivers},
title = {The semantics of Scheme control-flow analysis},
institution = {School of Computer Science, Pittsburgh},
year = {1991}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This is a follow-on to my 1988 PLDI paper, “Control-Flow Analysis in Scheme”[9]. I usethe methodof abstractsemantic interpretations to explicate the control-flow analysis technique presented in that paper. I begin with a denotational semantics for CPS Scheme. I then present an alternate semantics that precisely expresses the controlflow analysis problem. I abstract this semantics in a natural way, arriving at two different semantic interpretations giving approximate solutions to the flow analysis problem, each computable at compile time. The development of the final abstract semantics provides a clear, formal description of the analysis technique presented in “Control-Flow Analysis in Scheme.” 1
