The logic of programming
LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Termination conventions and comparative semantics
Acta Informatica
Information Processing Letters
A practical theory of programming
A practical theory of programming
Probabilistic predicate transformers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Predicative programming Part II
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
A Discipline of Programming
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Refinement Semantics and Loop Rules
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University
Unifying theories of programming that distinguish nontermination and abort
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Halting still standing: programs versus specifications
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Quantum predicative programming
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Linking Unifying Theories of Program refinement
Science of Computer Programming
| Hi-index | 0.00 |
This paper presents a personal account of developments leading to Unifying Theories of Programming, and some opinions about the direction the work should take in the future. It also speculates on consequences the work will have for all of computer science.