DocumentCode :
2577362
Title :
Diagrammatic reasoning in program construction
Author :
Ragendhu, S.P. ; Milton, R.S.
Author_Institution :
Dept. of Comput. Sci. & Eng., SSN Coll. of Eng., Chennai, India
fYear :
2011
fDate :
3-5 June 2011
Firstpage :
1072
Lastpage :
1077
Abstract :
Correctness is proved formally using predicate logic, which requires certain mathematical maturity from the programmer. Proving program correctness has a significant side-benefit of leading step-wise development of programs. Computer programming is taught as a craft with no mental framework as the tool to guide the development. This paper proposes a diagrammatic notation for representing the predicates, with a minimal blend of symbolic notation, thus providing an easy-to-use tool to achieve the same benefit. This paper is also intended to build a software tool that could be used for drawing the diagrammatic predicates in the course of construction of the program. Using this diagrammatic notation, one can represent predicates that should hold at strategic points in the program, such as the pre-condition, the post-condition, and the loop invariant. Using the software tool, the user can diagrammatically represent predicates, verify the program using a theorem prover, and generate an outline of the code.
Keywords :
formal logic; inference mechanisms; program verification; theorem proving; computer programming; diagrammatic reasoning; predicate logic; program construction; program correctness; program loop invariant point; program post-condition point; program pre-condition point; software tool; symbolic notation; theorem prover; Arrays; Cognition; Graphical user interfaces; Programming; Software tools; Upper bound; Visualization; Diagrammatic Reasoning; Formal Methods; Invariant Based Programming; Program Correctness;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Recent Trends in Information Technology (ICRTIT), 2011 International Conference on
Conference_Location :
Chennai, Tamil Nadu
Print_ISBN :
978-1-4577-0588-5
Type :
conf
DOI :
10.1109/ICRTIT.2011.5972347
Filename :
5972347
Link To Document :
بازگشت