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 improvem...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2017-01-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1701.00640v1 |
| _version_ | 1828519924568424448 |
|---|---|
| author | Nils Dallmeyer Manfred Schmidt-Schauss |
| author_facet | Nils Dallmeyer Manfred Schmidt-Schauss |
| author_sort | Nils Dallmeyer |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-11T19:21:40Z |
| format | Article |
| id | doaj.art-133f1d51ddec4e4f9d291a5e1af78b71 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-11T19:21:40Z |
| publishDate | 2017-01-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-133f1d51ddec4e4f9d291a5e1af78b712022-12-22T00:53:30ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802017-01-01235Proc. WPTE 2016789210.4204/EPTCS.235.6:4An Environment for Analyzing Space Optimizations in Call-by-Need Functional LanguagesNils Dallmeyer0Manfred Schmidt-Schauss1 Goethe-University Frankfurt, Germany Goethe-University Frankfurt, Germany 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.http://arxiv.org/pdf/1701.00640v1 |
| spellingShingle | Nils Dallmeyer Manfred Schmidt-Schauss An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages Electronic Proceedings in Theoretical Computer Science |
| title | An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages |
| title_full | An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages |
| title_fullStr | An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages |
| title_full_unstemmed | An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages |
| title_short | An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages |
| title_sort | environment for analyzing space optimizations in call by need functional languages |
| url | http://arxiv.org/pdf/1701.00640v1 |
| work_keys_str_mv | AT nilsdallmeyer anenvironmentforanalyzingspaceoptimizationsincallbyneedfunctionallanguages AT manfredschmidtschauss anenvironmentforanalyzingspaceoptimizationsincallbyneedfunctionallanguages AT nilsdallmeyer environmentforanalyzingspaceoptimizationsincallbyneedfunctionallanguages AT manfredschmidtschauss environmentforanalyzingspaceoptimizationsincallbyneedfunctionallanguages |