Verifying reachability invariants of linked structures (1983)

by Greg Nelson
Venue:In POPL ’83: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages