Semantics of dynamic variables in Algol-like languages

Objects and classes in Algol-like languages

Information and Computation - FOOL V

Abstract Models of Storage

Higher-Order and Symbolic Computation

Possible World Semantics for General Storage in Call-By-Value

CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic

Correctness of data representations involving heap data structures

Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)

Correctness of data representations involving heap data structures

ESOP'03 Proceedings of the 12th European conference on Programming