Publications

Published June 1, 1988

From Wire-frames to Furry Animals

Proceedings of Graphics Interface '88 , Edmonton, Alberta, 6-10 June 1988, pp 138-145

Gavin Miller

Published July 1, 1987

Editing Graphical Objects Using Procedural Representations

Ph.D. Thesis, Stanford University Department of Computer Science

Paul Asente

• Graphics (2D & 3D)
• Human Computer Interaction
• Systems & Languages

Published February 1, 1987

Computer Display and Manufacture of 3-D Models

Ph.D. Thesis, Cambridge University Department of Engineering, Cambridge, England, 1987

Gavin Miller

Published August 1, 1986

The Definition and Rendering of Terrain Maps

Computer Graphics Vol. 20, No. 4 , August 1986, pp 39-48

Gavin Miller

Published December 20, 1981

Program reduction using symbolic execution

ACM SIGSOFT Softw. Eng. Notes , 6(1), 9–14

J. King

Published October 11, 1981

JANUS: An interactive system for document composition

In Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation , 82–91

D. Chamberlin, J. King, D. Slutz, S. Todd, P. J., B. Wade

Published February 21, 1980

Program correctness: on inductive assertion methods

IEEE Trans. Software Eng. , 6(5), 465-479

J. King

Published November 14, 1976

An introduction to proving the correctness of programs

ACM Comput. Surv. , 8(3), 331–353

S. Hantler, J. King

Published February 15, 1976

Symbolic execution and program testing

Commun. ACM , 19(7), 385–394

J. King