TY  - JOUR
A1  - Dallmeyer, Nils
A1  - Schmidt-Schauß, Manfred
T1  - An environment for analyzing space optimizations in call-by-need functional languages
T2  - Electronic proceedings in theoretical computer science
N2  - 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.
Y1  - 2017
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/43244
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30:3-432447
SN  - 2075-2180
N1  - © N. Dallmeyer & M. Schmidt-Schauß. This work is licensed under the Creative Commons Attribution License.
VL  - 235
SP  - 78
EP  - 92
PB  - NICTA
CY  - Sydney
ER  -