Publications

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 64 65 66