Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications.

Published 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