Efficient and safe-for-space closure conversion

  title={Efficient and safe-for-space closure conversion},
  author={Zhong Shao and Andrew W. Appel},
  journal={ACM Trans. Program. Lang. Syst.},
Modern compilers often implement function calls (or returns) in two steps: first, a “closure” environment is properly installed to provide access for free variables in the target program fragment; second, the control is transferred to the target by a “jump with arguments (for results).” Closure conversion—which decides where and how to represent closures at runtime—is a crucial step in the compilation of functional languages. This paper presents a new algorithm that exploits the use of compile… CONTINUE READING