The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
An axiomatic basis for computer programming
Communications of the ACM
Toward a man-machine system for proving program correctness
Toward a man-machine system for proving program correctness
A program verifier
Correctness of programs manipulating data structures.
Correctness of programs manipulating data structures.
Garbage Collection of Linked Data Structures
ACM Computing Surveys (CSUR)
Derivation of efficient DAG marking algorithms
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proving properties of shared data structures application to functional programming
ACM '82 Proceedings of the ACM '82 conference
Hi-index | 0.00 |