Verifying Reachability Invariants of Linked Structures

Greg Nelson. Verifying Reachability Invariants of Linked Structures. In Proceedings of the 10th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. pages 38-47, 1983.

Abstract

Abstract is missing.