An Approach to Formal Definitions and Proofs of Programming Principles.
Jayadev MisraPublished in: IEEE Trans. Software Eng. (1978)
Keyphrases
- formal definitions
- normal form
- programming language
- programming environment
- computer programs
- theorem prover
- equational theories
- high level language
- decision procedures
- databases
- design principles
- computer programming
- building blocks
- software engineering
- search algorithm
- fully functional
- formal proofs
- e learning
- neural network