An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages

Nils Dallmeyer
(Goethe-University Frankfurt, Germany)
Manfred Schmidt-Schauss
(Goethe-University Frankfurt, Germany)

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.

In Horatiu Cirstea and Santiago Escobar: Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016), Porto, Portugal, 23rd June 2016, Electronic Proceedings in Theoretical Computer Science 235, pp. 78–92.
Published: 1st January 2017.

ArXived at: http://dx.doi.org/10.4204/EPTCS.235.6 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org