Proving Theorems about LISP Functions
Journal of the ACM (JACM)
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
Inductive assertion patters for recursive procedures
Programming Symposium, Proceedings Colloque sur la Programmation
Verifying programs by algebraic and logical reduction
Proceedings of the international conference on Reliable software
A view of program verification
Proceedings of the international conference on Reliable software
Skinny and fleshy failures of relative completeness
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Meager and replete failures of relative completeness
Journal of the ACM (JACM)
Floyd-Hoare logic in iteration theories
Journal of the ACM (JACM)
On the mechanical derivation of loop invariants
Journal of Symbolic Computation - Special issue on automatic programming
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems (TOPLAS)
Recursion As an Effective Step in Program Development
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using Term Rewriting to Verify Software
IEEE Transactions on Software Engineering
A Mechanical Analysis of Program Verification Strategies
Journal of Automated Reasoning
Expressibility Of The Semantics Of Sequential Programs In First-Order Logic
Fundamenta Informaticae
| Hi-index | 0.00 |