James C. King

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