MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Selective and Lightweight Closure Conversion." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Selective and Lightweight Closure Conversion
by Paul A. Steckler, MITCHELL WAND — 1996
…Selective and Lightweight Closure Conversion PAUL A. STECKLER University of Edinburgh and MITCHELL…
Add To MetaCart

Correct Higher-Order Program Transformations
by Of The, Paul A. Steckler — 1994 — Ph.D. thesis, Northeastern Univ
… exhibit are selective and lightweight closure conversion (constructing source-level closures…
Add To MetaCart

Tracking Available Values for Lightweight Closures (Summary)
by Paul Steckler, Mitchell W — 1994 — In Proceedings of the Atlantique Workshop on Semantics Based Program Manipulation
… considered the problem of lightweight closure conversion: if we know that some of the free variables of a…
Cited by 2 (2 self) – Add To MetaCart

Typed closure conversion
by Yasuhiko Minamide, Greg Morrisett, Robert Harper — 1996 — In Proceedings of the 23th Symposium on Principles of Programming Languages (POPL
…, called selective and lightweight closure conversion, and provide a correctness proof for each…
Cited by 142 (24 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB