Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications.
Klaus BeckerPublished in: TAPSOFT (1993)
Keyphrases
- recursive programs
- theorem proving
- inductive learning
- high level
- inductive concept learning
- equational theories
- inductive logic programming
- machine learning
- delay insensitive
- horn clauses
- definite clause
- functional requirements
- written in natural language
- program synthesis
- control flow
- rule learning
- real time
- formal specification
- knowledge base
- artificial intelligence
- databases