Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems.
Zheng YangHang LeiPublished in: IEEE Access (2018)
Keyphrases
- theorem proving
- theorem prover
- higher order logic
- term rewriting
- first order logic
- distributed search
- inference rules
- proof planning
- combinatorial search
- higher order
- decision procedures
- automated reasoning
- reasoning systems
- expert systems
- automated deduction
- logical inference
- parallel search
- consequence finding
- equational theories
- proof procedure
- predicate calculus
- formal specification
- formal model
- genetic programming