Back to Search
Start Over
An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages
- Source :
- EPTCS 235, 2017, pp. 78-92
- Publication Year :
- 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.<br />Comment: In Proceedings WPTE 2016, arXiv:1701.00233
- Subjects :
- Computer Science - Programming Languages
F.4.1
D.3.4
Subjects
Details
- Database :
- arXiv
- Journal :
- EPTCS 235, 2017, pp. 78-92
- Publication Type :
- Report
- Accession number :
- edsarx.1701.00640
- Document Type :
- Working Paper
- Full Text :
- https://doi.org/10.4204/EPTCS.235.6