BibTeX
@MISC{O'Hearn92semanticsof,
author = {P.W. O'Hearn and R. D. Tennent},
title = {Semantics of Local Variables},
year = {1992}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
