Semantics of Local Variables

P.W O'Hearn and R D Tennent

Abstract: This expository article discusses recent progress on the problem of giving sufficiently abstract semantics to local-variable declarations in Algol-like languages, especially work using categorical methods.

LFCS report ECS-LFCS-92-192

A revised version of this paper appeared in ``Applications of Categories in Computer Science'', volume 177 of the London Math Society Lecture Notes Steris, pp. 217-238, Cambridge Univ Press, 1992.

Previous | Index | Next