2000 character limit reached
An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages
Published 3 Jan 2017 in cs.PL | (1701.00640v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.