We investigate the semantics of the procedure concept, and of one of the main techniques introduced by E. W. Dijkstra in his article Recursive Programming to implement it, namely the "static link," sometimes also called "access link" or "lexical link." We show that a confusion about that technique persists, even in recent textbooks. Our analysis is meant to clarify the meaning of that technique, and of the procedure concept. Our main contribution is to propose a better characterization of the "static link.".

Additional Metadata
Keywords Block, Closure, Lexical scope, Procedure, Static link
Persistent URL dx.doi.org/10.1016/j.scico.2017.07.007
Journal Science of Computer Programming
van den Hove d'Ertsenryck, G. M. C. J. T. G. (2017). Dissolving a half century old problem about the implementation of procedures. Science of Computer Programming, 150, 75–86. doi:10.1016/j.scico.2017.07.007