Publications

Program reduction using symbolic execution

King, J. (Dec. 20, 1981)
ACM SIGSOFT Softw. Eng. Notes , 6(1), 9–14

JANUS: An interactive system for document composition

Chamberlin, D., King, J., Slutz, D., Todd, S., J., P., Wade, B. (Oct. 11, 1981)
In Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation , 82–91

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 62 63 64