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.
Author: | Nils DallmeyerGND, 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): | ![]() |