Export Citations
1 Results for: Book/Issue: PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,790,162 records)|Limit your search to The ACM Full-Text Collection (766,447 records)
Showing 1 - 1of1 Results
Select All
- ArticleDecember 1997
Partial evaluation of call-by-value λ-calculus with side-effects
PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulationPages 12–21https://doi.org/10.1145/258993.258997We present a framework of an online partial evaluator for a call-by-value λ-calculus with destructive updates of data structures. It properly and correctly specializes expressions that contain side-effects, while preserving pointer equality, ...
Also Published in:
ACM SIGPLAN Notices: Volume 32 Issue 12