Diagrammatic Reasoning in Computer Programming
S. P. Ragendhu, R. Sakaya Milton · 2011
Proving program correctness has a significant side-benefit of leading the step-wise systematic development of programs. Correctness is proved formally using predicate logic, which requires certain mathematical maturity from the programmer. This work proposes a diagrammatic reasoning tool for representing the predicates, with a minimal blend of symbolic notation, thus providing an easy-to-use tool to achieve the same benefit. We also build a software tool that could be used for drawing the diagrammatic predicates in the course of the construction of the program.