Formalization of Properties of Functional Programs
Journal of the ACM (JACM)
Even Simple Programs Are Hard To Analyze
Journal of the ACM (JACM)
An axiomatic basis for computer programming
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
A consistent and complete deductive system for the verification of parallel programs
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
A new incompleteness result for Hoare's system
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
Side effects and aliasing can have simple axiomatic descriptions
ACM Transactions on Programming Languages and Systems (TOPLAS)
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)
Towards fully abstract semantics for local variables
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Axiomatic Definitions of Programming Languages: A Theoretical Assessment
Journal of the ACM (JACM)
Effective Axiomatizations of Hoare Logics
Journal of the ACM (JACM)
A Formal System for Reasoning about Programs Accessing a Relational Database
ACM Transactions on Programming Languages and Systems (TOPLAS)
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems (TOPLAS)
A critique of the foundations of Hoare style programming logics
Communications of the ACM
On effective axiomatizations of Hoare logics
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modular Verification of Data Abstractions with Shared Realizations
IEEE Transactions on Software Engineering
Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter?
TYPES '98 Selected papers from the International Workshop on Types for Proofs and Programs
Extended Static Checking: A Ten-Year Perspective
Informatics - 10 Years Back. 10 Years Ahead.
A Denotational Semantics for First-Order Logic
CL '00 Proceedings of the First International Conference on Computational Logic
On relative completeness of programming logics
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A good Hoare axiom system for an ALGOL-like language
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A characterization of Hoare's logic for programs with Pascal-like procedures
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
Some verification problems in Pascal-like languages
ACM SIGSOFT Software Engineering Notes
Verification of safety properties for concurrent assembly code
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Fast maintenance of semantic integrity assertions using redundant aggregate data
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
25 Years of Model Checking
A Hoare Logic for Call-by-Value Functional Programs
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
On the Completeness of Dynamic Logic
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
On revival of Algol-concepts in modern programming and specification languages
Formal methods and hybrid real-time systems
Verification of object-oriented programs: A transformational approach
Journal of Computer and System Sciences
Automated verification of recursive programs with pointers
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An observationally complete program logic for imperative higher-order functions
Theoretical Computer Science
| Hi-index | 0.02 |