Functional programming and theorem proving for undergraduates: a progress report.
Rex L. PageCarl EastlundMatthias FelleisenPublished in: FDPE@ICFP (2008)
Keyphrases
- theorem proving
- functional programming
- functional language
- execution model
- first order logic
- decision procedures
- theorem prover
- quantifier elimination
- object oriented programming
- programming language
- automated reasoning
- proof planning
- term rewriting
- inference rules
- parallel search
- automated theorem proving
- geometry theorem proving
- proof search
- proof procedure
- predicate calculus
- software engineering
- machine learning