| |
| 2004 | ||
|---|---|---|
| 12 | EE | James C. King: A format design case study: PDF. Hypertext 2004: 95-97 |
| 2002 | ||
| 11 | EE | James C. King: The Color Engineer. Color Imaging Conference 2002: 39-40 |
| 1982 | ||
| 10 | 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 | ||
| 9 | James C. King: Program Correctness: On Inductive Assertion Methods. IEEE Trans. Software Eng. 6(5): 465-479 (1980) | |
| 1978 | ||
| 8 | James C. King: Prospects for Program Verification (Tutorial). ICSE 1978: 71 | |
| 1976 | ||
| 7 | James C. King: On Generating Verification Conditions for Correctness Proofs. Fachtagung über Programmiersprachen 1976: 253-267 | |
| 6 | Sidney L. Hantler, James C. King: An Introduction to Proving the Correctness of Programs. ACM Comput. Surv. 8(3): 331-353 (1976) | |
| 5 | James C. King: Symbolic Execution and Program Testing. Commun. ACM 19(7): 385-394 (1976) | |
| 1974 | ||
| 4 | James C. King: A New Approach to Program Testing. Programming Methodology 1974: 278-290 | |
| 1972 | ||
| 3 | James C. King, Robert W. Floyd: An Interpretation-Oriented Theorem Prover over Integers. J. Comput. Syst. Sci. 6(4): 305-323 (1972) | |
| 1971 | ||
| 2 | James C. King: A Program Verifier. IFIP Congress (1) 1971: 234-249 | |
| 1970 | ||
| 1 | James C. King, Robert W. Floyd: An Interpretation Oriented Theorem Prover over Integers STOC 1970: 169-179 | |
| 1 | Olivier P. Bertrand | [10] |
| 2 | Donald D. Chamberlin | [10] |
| 3 | Robert W. Floyd | [1] [3] |
| 4 | Michael J. Goodfellow | [10] |
| 5 | Sidney L. Hantler | [6] |
| 6 | Donald R. Slutz | [10] |
| 7 | Stephen Todd | [10] |
| 8 | Bradford W. Wade | [10] |