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