Rigorous Proofs of Program Correctness Without Formal Logic

Author(s):

Wadkins, J.R. Jefferson

Publication Year:

1995

Source:

Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, 1995, p307-311

Document Type:

Chapter

Page Count:

5

Subject/Key Words:

Mathematical Logic, Software Engineering, Algorithms, Computer Science Education, Evidential Reasoning, Logic