Publications

Computer Display and Manufacture of 3-D Models

Miller, G. (Feb. 1, 1987)
Ph.D. Thesis, Cambridge University Department of Engineering, Cambridge, England, 1987

The Definition and Rendering of Terrain Maps

Miller, G. (Aug. 1, 1986)
Computer Graphics Vol. 20, No. 4 , August 1986, pp 39-48

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 60 61 62