Program Result Checking: A New Approach to Making Programs More Reliable.
Manuel BlumPublished in: ICALP (1993)
Keyphrases
- computer programs
- program execution
- automatic programming
- java programs
- neural network
- functional programs
- control program
- programming environment
- genetic algorithm
- programming language
- expert systems
- novice programmers
- symbolic execution
- databases
- programming education
- recursive programs
- programming language constructs