Publications

10 results for James C. King

Program Correctness: On Inductive Assertion Methods
- - James C. King
- 1980
- IEEE Transactions on Software Engineering
Tutorial session 3B: Prospects for program verification
- - James C. King
- 1978
- ICSE 1978
An Introduction to Proving the Correctness of Programs
- - Sidney L. Hantler
  - James C. King
- 1976
- ACM Computing Surveys (CSUR)
Symbolic Execution and Program Testing
- - James C. King
- 1976
- CACM
A new approach to program testing
- - James C. King
- 1975
- ACM SIGPLAN Notices
A new approach to program testing
- - James C. King
- 1975
- International Conference on Reliable Software 1975
Abstract machines and software design
- - J.C. King
- 1973
- ACM SIGPLAN Notices
An interpretation-oriented theorem prover over integers
- - James C. King
  - Robert W. Floyd
- 1972
- Journal of Computer and System Sciences
Proving Programs to be Correct
- - James C. King
- 1971
- IEEE TC
An interpretation oriented theorem prover over integers
- - James C. King
  - Robert W. Floyd
- 1970
- STOC 1970