Problematic features of programming languages: a situational-calculus approach

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1983 · 1.5K citations

Computing, Computer Science, Mathematics +17

A Deductive Approach to Program Synthesis

Zohar Manna, Richard Waldinger · ACM Transactions on Programming Languages and Systems · 1980 · 577 citations

Computing, Computer Science, Formal Methods +10

Social processes and proofs of theorems and programs

Richard A. De Millo, Richard J. Lipton, Alan J. Perlis · Communications of the ACM · 1979 · 535 citations · Full text

Computing, Computer Science, Computational Linguistics +4

Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 (1979), pp. 194–211. - Krister Segerberg. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at Stefan Banach International Mathematical Center at the semester “Universal algebra and applications” held February 15–June 9, 1978, edited by Tadeuz Traczyk, Banach Center Publications, vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, pp. 31–46. - Rohit Parikh. The completeness of propositional dynamic logic. Mathematical foundations of computer science 1978, Proceedings, 7th symposium, Zakopane, Poland, September 4–8, 1978, edited by J. Winkowski, Lecture notes in computer science, vol. 64, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 403–415. - Dexter Kozen and Rohit Parikh. An elementary proof of the completeness of PDL. Theoretical computer science, vol. 14(1981), pp. 113–118.

Robert Goldblatt · Journal of Symbolic Logic · 1986 · 430 citations

Humanities, Computer Science, Mathematics +14

Semantical consideration on floyo-hoare logic

Vaughan Pratt · 1976 · 317 citations

Computing, Computer Science, Mathematics +15