Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

James C. King

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2004
[c7]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ht/King04
- ask others
James C. King: A format design case study: PDF. Hypertext 2004: 95-97
2002
[c6]
- view
  - electronic edition @ imaging.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/imaging/King02
- ask others
James C. King: The Color Engineer. Color Imaging Conference 2002: 39-40

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1982
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ibmsj/ChamberlinBGKSTW82
- ask others
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 Systems Journal 21(3): 250-271 (1982)
1980
[j4]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/King80
- ask others
James C. King: Program Correctness: On Inductive Assertion Methods. IEEE Trans. Software Eng. 6(5): 465-479 (1980)

1970 – 1979

see FAQ

What is the meaning of the colors in the publication list?

1978
[c5]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/King78
- ask others
James C. King: Prospects for Program Verification (Tutorial). ICSE 1978: 71
1976
[j3]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cacm/King76
- ask others
James C. King: Symbolic Execution and Program Testing. Commun. ACM 19(7): 385-394 (1976)
[j2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/csur/HantlerK76
- ask others
Sidney L. Hantler, James C. King: An Introduction to Proving the Correctness of Programs. ACM Comput. Surv. 8(3): 331-353 (1976)
[c4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/programmier/King76
- ask others
James C. King: On Generating Verification Conditions for Correctness Proofs. Fachtagung über Programmiersprachen 1976: 253-267
1974
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ibm/King74
- ask others
James C. King: A New Approach to Program Testing. Programming Methodology 1974: 278-290
1972
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jcss/KingF72
- ask others
James C. King, Robert W. Floyd: An Interpretation-Oriented Theorem Prover over Integers. J. Comput. Syst. Sci. 6(4): 305-323 (1972)
1971
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip/King71
- ask others
James C. King: A Program Verifier. IFIP Congress (1) 1971: 234-249
1970
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/stoc/KingF70
- ask others
James C. King, Robert W. Floyd: An Interpretation Oriented Theorem Prover over Integers. STOC 1970: 169-179

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?