© 1974 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||
Procedure closure in EL1*

Center for Research in Computing Technology, Harvard University, Cambridge, Massachusetts, USA
Most programming languages allow the use of free variables in procedures. The mechanism for connecting such free variables with their intended meanings has significant impact on the convenience of the language for the programmer and the efficiency of the resulting programs. The EL1 programming language in the ECL programming system provides a closure mechanism which allows the programmer considerable control over the binding of free variables and serves as an aid to efficient implementation. In this paper, the closure mechanism for EL1 is explained, its rationale presented, and various applications displayed.
Received March 1972.
* This work was supported in part by the U.S. Air Force, Electronics Systems Division, under Contract F19628
Center for Research in Computing Technology, Harvard University, Cambridge, Massachusetts 02138, USA