Equivalence checking of two functional programs using inductive theorem provers.
Moussa DembaPublished in: Inf. Process. Lett. (2018)
Keyphrases
- functional programs
- theorem prover
- term rewriting systems
- lazy evaluation
- functional language
- theorem proving
- proof planning
- automated reasoning
- automated theorem proving
- logic programs
- inference rules
- first order logic
- stochastic grammar
- computer algebra
- computer algebra systems
- predicate calculus
- functional programming
- proof search
- equivalence relation
- answer sets
- distributed databases
- logic programming
- machine learning