Space-eecient Closure Representations

  title={Space-eecient Closure Representations},
  author={Andrew W. AppelDepartment},
  • Andrew W. AppelDepartment
  • Published 1994
Many modern compilers implement function calls (or returns) in two steps: rst, 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 (or results)." Closure conversion, which decides where and how to represent closures at runtime, is a crucial step in compilation of functional languages. We have a new algorithm that exploits the use of compile-time control and… CONTINUE READING