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