The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September (1978 vol.4)
pp: 410-413
J. Misra , 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.
INDEX TERMS
proving program schemas, Program design, program verification
CITATION
J. Misra, "An Approach to Formal Definitions and Proofs of Programming Principles", IEEE Transactions on Software Engineering, vol.4, no. 5, pp. 410-413, September 1978, doi:10.1109/TSE.1978.233860
39 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool