Back to Search
Start Over
An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages
- Source :
- Electronic Proceedings in Theoretical Computer Science, Vol 235, Iss Proc. WPTE 2016, Pp 78-92 (2017)
- Publication Year :
- 2017
- Publisher :
- Open Publishing Association, 2017.
-
Abstract
- We present an implementation of an interpreter LRPi for the call-by-need calculus LRP, based on a variant of Sestoft's abstract machine Mark 1, extended with an eager garbage collector. It is used as a tool for exact space usage analyses as a support for our investigations into space improvements of call-by-need calculi.
- Subjects :
- Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Subjects
Details
- Language :
- English
- ISSN :
- 20752180
- Volume :
- 235
- Issue :
- Proc. WPTE 2016
- Database :
- Directory of Open Access Journals
- Journal :
- Electronic Proceedings in Theoretical Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- edsdoj.133f1d51ddec4e4f9d291a5e1af78b71
- Document Type :
- article
- Full Text :
- https://doi.org/10.4204/EPTCS.235.6