Publications

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 55 56 57