© 1976 by British Computer Society
The place of own variables in programming language theory
Department of Computer Studies, University of Lancaster, Bailrigg, Lancaster, UK
An exact definition of the scope of an own variable has not yet evolved. In the past this has given rise to troubles. This paper shows that an assumption that the scope of an own variable does not extend beyond the scope of the owning procedure solves many of the problems and leads to a clearer understanding of their true nature. They are equivalent to additional parameters which have been frozen to local generators.
Received April 1975.
* Department of Computer Studies, University of Lancaster, Bailrigg, Lancaster