Back to Search
Start Over
PROGRAMMING THEORY.
- Source :
- Encyclopedia of Electrical & Electronics Engineering; 1999 1st Edition, Vol. 17, p358-374, 17p
- Publication Year :
- 1999
-
Abstract
- The article reports that the theory of programming consists of a body of theoretical techniques for reasoning about program behavior. This body of techniques is divided into two classes: (1) techniques for reasoning about the functional behavior of programs, and (2) techniques for reasoning about performance issues such as time and space complexity. For historical reasons, only the techniques of the first class are referred to as "theory of programming," while those of the second class is referred to as "algorithm analysis."
Details
- Language :
- English
- Volume :
- 17
- Database :
- Supplemental Index
- Journal :
- Encyclopedia of Electrical & Electronics Engineering
- Publication Type :
- Book
- Accession number :
- 17317038