A Logic for Partially Specified Data Structures

M. Drew Moshier, William C. Rounds. A Logic for Partially Specified Data Structures. In POPL. pages 156-167, 1987.

Abstract

Abstract is missing.