Title :
An Approach to Formal Definitions and Proofs of Programming Principles
Author_Institution :
Department of Computer Science, University of Texas
Abstract :
A method for formal description of programming prinicples is presented in this paper. Programming principles, such as sequential search can be defined and proven even in the absence of an application. We represent a principle as a program scheme which has partially interpreted functions in it. The functions must obey certain input constraints. Use of these ideas in program proving is illustrated with examples.
Keywords :
Program design; program verification; proving program schemas; Binary trees; Computer languages; Computer science; Education; Formal specifications; Functional programming; Law; Legal factors; Linear programming; Program design; program verification; proving program schemas;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1978.233860
