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)
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the theory of programming logics
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Ilea: inter-language analysis across java and c
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
A Mechanical Analysis of Program Verification Strategies
Journal of Automated Reasoning
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
| Hi-index | 0.00 |