Higher-Order and Symbolic Computation, 13(1/2)119-129
Abstract Models of StorageRobert D. Tennent, Computing and Information Science, Queen's University, Kingston, Canada
Dan R. Ghica, Computing and Information Science, Queen's University, Kingston, Canada
|
Abstract: This note is a historical survey of Christopher
Strachey's influence on the development of semantic models of
assignment and storage management in procedural languages.
Keywords: assignment, storage allocation, locality, parametricity, irreversibility |
This article can be downloaded [here].