Turning Inductive into Equational Specifications.
Stefan BerghoferLukas BulwahnFlorian HaftmannPublished in: TPHOLs (2009)
Keyphrases
- recursive programs
- theorem proving
- inductive learning
- inductive logic programming
- machine learning
- delay insensitive
- formal specification
- transformation rules
- specification language
- program synthesis
- logic programs
- theorem prover
- deductive reasoning
- written in natural language
- control flow
- databases
- inductive concept learning
- functional requirements
- inductive inference
- natural language
- search algorithm
- website