Abstract Models of Storage (2000)
Robert D. Tennent, Dan R. Ghica
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.
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement (1997)
Yoshiki Kinoshita, Peter W. O'hearn, A. John Power, Makoto Takeyama, Robert D. Tennent
We introduce an axiomatic approach to logical relations and data refinement. We consider a programming language and the monad on the category of small categories generated by it. We identify abstract...
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement (1997)
Yoshiki Kinoshita, Peter W. O'Hearn, A. John Power, Makoto Takeyama, Robert D. Tennent
We introduce an axiomatic approach to logical relations and data refinement. We consider a programming language and the monad on the category of small categories generated by it. We identify abstract...