Back to Search
Start Over
An Approach to Formal Definitions and Proofs of Programming Principles.
- Source :
- IEEE Transactions on Software Engineering; Sep78, Vol. 4 Issue 5, p410-413, 4p
- Publication Year :
- 1978
-
Abstract
- A method for formal description of programming principles 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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00985589
- Volume :
- 4
- Issue :
- 5
- Database :
- Complementary Index
- Journal :
- IEEE Transactions on Software Engineering
- Publication Type :
- Academic Journal
- Accession number :
- 19099924