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.".

Block, Closure, Lexical scope, Procedure, Static link
dx.doi.org/10.1016/j.scico.2017.07.007
Science of Computer Programming
Centrum Wiskunde & Informatica, Amsterdam, The Netherlands

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