Diagrammatic reasoning in computer programming

Abstract:

Proving program correctness has a significant side-benefit of leading the step-wise systematic development of programs. Correctness is proved formally using pbkp_redicate logic, which requires certain mathematical maturity from the programmer. This work proposes a diagrammatic reasoning tool for representing the pbkp_redicates, 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 pbkp_redicates in the course of the construction of the program. © 2011 IEEE.

Año de publicación:

2011

Keywords:

• Diagrammatic Reasoning
• Invariant Based Programming
• Computer programming
• Formal Methods
• Program Correctness

Fuente:

scopus