The Specialization of Programs by Theorem Proving.
Chin-Liang ChangRichard C. T. LeeJohn K. DixonPublished in: SIAM J. Comput. (1973)
Keyphrases
- theorem proving
- automatic programming
- first order logic
- automated theorem proving
- automated reasoning
- decision procedures
- inference rules
- parallel search
- theorem prover
- automated deduction
- term rewriting
- consequence finding
- proof planning
- logical inference
- distributed search
- geometry theorem proving
- function symbols
- natural deduction
- equational theories