James C. King

Publication Activity (10 Years)

Years Active: 1970-2004
Publications (10 Years): 0

Publications

James C. King
A format design case study: PDF. Hypertext (2004)
James C. King
The Color Engineer. Color Imaging Conference (2002)
James C. King
On the Desktop Color System Implied by the ICC Standard. Color Imaging Conference (1998)
James C. King
The Color Engineer. Color Imaging Conference (1993)
Donald D. Chamberlin, Olivier P. Bertrand, Michael J. Goodfellow, James C. King, Donald R. Slutz, Stephen Todd, Bradford W. Wade
JANUS: An Interactive Document Formatter Based on Declarative Tags. IBM Syst. J. 21 (3) (1982)
Donald D. Chamberlin, James C. King, Donald R. Slutz, Stephen Todd, Bradford W. Wade
JANUS: An interactive system for document composition. ACM SIGPLAN Notices 16 (6) (1981)
James C. King
Program reduction using symbolic execution. ACM SIGSOFT Softw. Eng. Notes 6 (1) (1981)
James C. King
Program Correctness: On Inductive Assertion Methods. IEEE Trans. Software Eng. 6 (5) (1980)
John A. Darringer, James C. King
Applications of Symbolic Execution to Program Testing. Computer 11 (4) (1978)
James C. King
Prospects for Program Verification (Tutorial). ICSE (1978)
James C. King
Panel: limitations of language design for reliable software. ACM SIGSOFT Softw. Eng. Notes 2 (3) (1977)
Sidney L. Hantler, James C. King
An Introduction to Proving the Correctness of Programs. ACM Comput. Surv. 8 (3) (1976)
James C. King
On Generating Verification Conditions for Correctness Proofs. Fachtagung über Programmiersprachen (1976)
James C. King
Symbolic Execution and Program Testing. Commun. ACM 19 (7) (1976)
James C. King
A new approach to program testing. Reliable Software (1975)
James C. King
A New Approach to Program Testing. Programming Methodology (1974)
James C. King, Robert W. Floyd
An Interpretation-Oriented Theorem Prover over Integers. J. Comput. Syst. Sci. 6 (4) (1972)
James C. King
Proving Programs to be Correct. IEEE Trans. Computers 20 (11) (1971)
James C. King
A Program Verifier. IFIP Congress (1) (1971)
James C. King, Robert W. Floyd
An Interpretation Oriented Theorem Prover over Integers STOC (1970)