Publications

Program correctness: on inductive assertion methods

King, J. (Feb. 21, 1980)
IEEE Trans. Software Eng. , 6(5), 465-479

An introduction to proving the correctness of programs

Hantler, S., King, J. (Nov. 14, 1976)
ACM Comput. Surv. , 8(3), 331–353

Symbolic execution and program testing

King, J. (Feb. 15, 1976)
Commun. ACM , 19(7), 385–394

An interpretation oriented theorem prover over integers

King, J., Floyd, R. (Feb. 3, 1970)
In STOC '70: Proceedings of the second annual ACM symposium on Theory of computing , 169–179

A program verifier

King, J. (Feb. 14, 1969)
PhD Thesis, Carnegie Mellon University
1 63 64 65