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)
TL;DR
This paper introduces LRPi, an interpreter based on an extended abstract machine, designed to analyze space optimizations in call-by-need functional languages, aiding precise space usage investigations.
Contribution
It provides a novel interpreter tool for exact space analysis in call-by-need calculi, extending existing abstract machine models with garbage collection.
Findings
Enables precise space usage analysis for call-by-need languages
Supports investigations into space improvements of call-by-need calculi
Demonstrates effectiveness of the extended abstract machine approach
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsParallel Computing and Optimization Techniques · Distributed and Parallel Computing Systems · Embedded Systems Design Techniques