The place of own variables in programming language theory
Bryan Higman · The Computer Journal · 1976
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.