A reflective functional language for hardware design and theorem proving.
Jim GrundyThomas F. MelhamJohn W. O'LearyPublished in: J. Funct. Program. (2006)
Keyphrases
- hardware design
- functional language
- proof planning
- theorem proving
- hardware implementation
- functional programming
- decision procedures
- first order logic
- theorem prover
- inference rules
- concept formation
- automated reasoning
- proof search
- building intelligent
- proof procedure
- predicate calculus
- machine learning
- programming language
- data types
- fine grained
- natural deduction
- logic programs
- signal processing
- pattern recognition