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.
Volltext Dateien herunterladen
Weitere Dienste
| Verfasserangaben: | 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 |
| Titel des übergeordneten Werkes (Englisch): | Electronic proceedings in theoretical computer science |
| Verlag: | NICTA |
| Verlagsort: | Sydney |
| Sonstige beteiligte Person(en): | H. Cirstea, S. Escobar |
| Dokumentart: | Wissenschaftlicher Artikel |
| Sprache: | Englisch |
| Datum der Veröffentlichung (online): | 12.06.2017 |
| Datum der Erstveröffentlichung: | 03.01.2017 |
| Veröffentlichende Institution: | Universitätsbibliothek Johann Christian Senckenberg |
| Beteiligte Körperschaft: | Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE’16) |
| Datum der Freischaltung: | 12.06.2017 |
| Jahrgang: | 235 |
| Seitenzahl: | 15 |
| Erste Seite: | 78 |
| Letzte Seite: | 92 |
| Bemerkung: | © N. Dallmeyer & M. Schmidt-Schauß. This work is licensed under the Creative Commons Attribution License. |
| HeBIS-PPN: | 42870378X |
| Institute: | Informatik und Mathematik / Informatik |
| DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke |
| Sammlungen: | Universitätspublikationen |
| Lizenz (Deutsch): |  Creative Commons - Namensnennung 4.0 |
