Space-profiling semantics of the call-by-value lambda calculus and the CPS transformation (1999)
Cached
Download Links
- [www.score.is.tsukuba.ac.jp]
- [www.score.is.tsukuba.ac.jp]
- DBLP
Other Repositories/Bibliography
| Venue: | In The 3rd International Workshop on Higher Order Operational Techniques in Semantics, volume 26 of Electronic Notes in Theoretical Computer Science |
| Citations: | 8 - 2 self |
BibTeX
@INPROCEEDINGS{Minamide99space-profilingsemantics,
author = {Yasuhiko Minamide},
title = {Space-profiling semantics of the call-by-value lambda calculus and the CPS transformation},
booktitle = {In The 3rd International Workshop on Higher Order Operational Techniques in Semantics, volume 26 of Electronic Notes in Theoretical Computer Science},
year = {1999},
publisher = {Elsevier}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We show that the CPS transformation from the call-by-value lambda calculus to a CPS language preserves space required for execution of a program within a constant factor. For the call-by-value lambda calculus we adopt a space-profiling semantics based on the profiling semantics of NESL by Blelloch and Greiner. However, we have noticed their semantics has some inconsistency between the treatments of stack space and heap space. This requires us to revise the semantics so that the semantics treats space in more consistent manner in order to obtain our result. 1
