Improving and refining programs by program manipulation.
Thomas A. StandishDennis F. KiblerJames M. NeighborsPublished in: ACM Annual Conference (1976)
Keyphrases
- computer programs
- automatic programming
- program execution
- control program
- prolog programs
- symbolic execution
- high level programming language
- computer chess
- java programs
- functional programs
- stable model semantics
- hardware designs
- control flow
- application programs
- programming education
- programming environment
- novice programmers
- program slicing
- imperative programs
- programming language
- answer set programs
- programming language constructs
- programming environments
- recursive programs
- program code
- static analysis
- loop formulas
- data sets
- logic programs
- databases