An environment for analyzing space optimizations in call-by-need functional languages

  • 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.

Download full text files

Export metadata

Metadaten
Author:Nils Dallmeyer, Manfred Schmidt-SchaußORCiDGND
URN:urn:nbn:de:hebis:30:3-432447
DOI:https://doi.org/10.4204/EPTCS.235.6
ISSN:2075-2180
Parent Title (English):Electronic proceedings in theoretical computer science
Publisher:NICTA
Place of publication:Sydney
Contributor(s):H. Cirstea, S. Escobar
Document Type:Article
Language:English
Date of Publication (online):2017/06/12
Date of first Publication:2017/01/03
Publishing Institution:Universitätsbibliothek Johann Christian Senckenberg
Contributing Corporation:Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE’16)
Release Date:2017/06/12
Volume:235
Page Number:15
First Page:78
Last Page:92
Note:
© N. Dallmeyer & M. Schmidt-Schauß. This work is licensed under the Creative Commons Attribution License.
HeBIS-PPN:42870378X
Institutes:Informatik und Mathematik / Informatik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke
Sammlungen:Universitätspublikationen
Licence (German):License LogoCreative Commons - Namensnennung 4.0