W. Henhapl. A storage model derived from axioms. Technical Report TR 25.100, IBM Laboratory, Vienna, 1969. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Abstract Models of Storage - Tennent, Ghica (2000) (Correct)
....restrictive. Or perhaps, as Milne suggests, it became obvious that intricate abstract axioms for the operations are simply less comprehensible than explicit definitions, except for the storageallocation operator. Similarly, the Vienna group moved from descriptions that were partially axiomatized [22, 19] to more explicit models [5] 5. Possible Worlds Subsequent developments showed that there were more serious problems with Strachey s approach to storage allocation. Like most programming language designers at the time, he was primarily interested in generalizing Algol 60 to allow dynamic ....
W. Henhapl. A storage model derived from axioms. Technical Report TR 25.100, IBM Laboratory, Vienna, 1969.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC