Some Properties of Predicate Transformers
Journal of the ACM (JACM)
Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
Journal of the ACM (JACM)
Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer
ACM Transactions on Programming Languages and Systems (TOPLAS)
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
First-Order Dynamic Logic
Computing in Systems Described by Equations
Computing in Systems Described by Equations
A Discipline of Programming
Axiomatic definitions of programming languages: a theoretical assessment (preliminary report)
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Axiomatic definitions of programming languages, II
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Introduction to the General Theory of Algorithms
An Introduction to the General Theory of Algorithms
An Aximatic Treatment of Algol 68 Routines
Proceedings of the 6th Colloquium, on Automata, Languages and Programming
Computability and completeness in logics of programs (Preliminary Report)
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
On the expressive power of Dynamic Logic (Preliminary Report)
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Journal of the ACM (JACM)
Communications of the ACM
Logical and mathematical reasoning about imperative programs: preliminary report
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Effective Axiomatizations of Hoare Logics
Journal of the ACM (JACM)
Inductive Completeness of Logics of Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning in dynamic logic about program termination
Pillars of computer science
| Hi-index | 0.02 |