Loading...
Please wait, while we are loading the content...
Similar Documents
Incremental Lambda Lifting: An Exercise in Almost-Denotational Semantics
| Content Provider | Semantic Scholar |
|---|---|
| Author | Sullivan, Gregory T. |
| Copyright Year | 1997 |
| Abstract | We prove the correctness of incremental lambda-lifting, an optimization that attempts to reduce the closure allocation overhead of higher-order programs by changing the scope of nested procedures. This optimization is invalid in the standard denotational semantics of Scheme, because it changes the storage behavior of the program. Our method consists of giving Scheme a denotational semantics in an operationally-based term model in which interaction is the basic observable. Lambda lifting is then shown to preserve meaning in the model. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://ftp.ccs.neu.edu/pub/people/wand/papers/sullivan-wand-97.ps |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |