Tutorial session 3B: Prospects for program verification
- James C. King
- 1978
- ICSE 1978
Publications
Date
Featured collections
Popular topics
10 results for James C. King
Proving Programs to be Correct
- James C. King
- 1971
- IEEE TC
A new approach to program testing
- James C. King
- 1975
- International Conference on Reliable Software 1975
An interpretation oriented theorem prover over integers
- James C. King
- Robert W. Floyd
- 1970
- STOC 1970
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
Abstract machines and software design
- J.C. King
- 1973
- ACM SIGPLAN Notices
Program Correctness: On Inductive Assertion Methods
- James C. King
- 1980
- IEEE Transactions on Software Engineering
An interpretation-oriented theorem prover over integers
- James C. King
- Robert W. Floyd
- 1972
- Journal of Computer and System Sciences