James C. King

According to our database, James C. King authored at least 18 papers between 1971 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

A format design case study: PDF.

James C. King

Proceedings of the HYPERTEXT 2004, 2004

2002

The Color Engineer.

James C. King

Proceedings of the Tenth Color Imaging Conference: Color Science and Engineering Systems, 2002

1998

On the Desktop Color System Implied by the ICC Standard.

James C. King

Proceedings of the 6th Color and Imaging Conference, 1998

1982

JANUS: An Interactive Document Formatter Based on Declarative Tags.

Donald D. Chamberlin, Olivier P. Bertrand, Michael J. Goodfellow, James C. King, Donald R. Slutz, Stephen Todd, Bradford W. Wade

IBM Syst. J., 1982

1981

Program reduction using symbolic execution.

James C. King

ACM SIGSOFT Softw. Eng. Notes, 1981

JANUS: An interactive system for document composition.

Donald D. Chamberlin, James C. King, Donald R. Slutz, Stephen Todd, Bradford W. Wade

Proceedings of the ACM SIGPLAN SIGOA Symposium on Text Manipulation, 1981

1980

Program Correctness: On Inductive Assertion Methods.

James C. King

IEEE Trans. Software Eng., 1980

1978

Applications of Symbolic Execution to Program Testing.

John A. Darringer, James C. King

Computer, 1978

Prospects for Program Verification (Tutorial).

James C. King

Proceedings of the 3rd International Conference on Software Engineering, 1978

1977

Panel: limitations of language design for reliable software.

James C. King

ACM SIGSOFT Softw. Eng. Notes, 1977

1976

An Introduction to Proving the Correctness of Programs.

Sidney L. Hantler, James C. King

ACM Comput. Surv., 1976

Symbolic Execution and Program Testing.

James C. King

Commun. ACM, 1976

On Generating Verification Conditions for Correctness Proofs.

James C. King

Proceedings of the Programmiersprachen, 1976

1974

A New Approach to Program Testing.

James C. King

Proceedings of the Programming Methodology, 4th Informatik Symposium, 1974

1973

Abstract machines and software design.

James C. King

Proceedings of the Proceeding of ACM SIGPLAN-SIGOPS Interface Meeting on Programming Languages, 1973

1972

An Interpretation-Oriented Theorem Prover over Integers.

James C. King, Robert W. Floyd

J. Comput. Syst. Sci., 1972

1971

Proving Programs to be Correct.

James C. King

IEEE Trans. Computers, 1971

A Program Verifier.

James C. King

Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971