Formalization of the control stack
J. A. Velazques Iturbide · ACM SIGPLAN Notices · 1989
The main aim of the article is to show a simple explanation of how variables are accessed in block-structured programming languages. For such a purpose, the run-time devices generically known as control stacks are modelled as an abstract data type.