Syntax-Directed, Semantics-Supported Program Synthesis.
Wolfgang BibelPublished in: Artif. Intell. (1980)
Keyphrases
- program synthesis
- definition language
- operational semantics
- formal semantics
- machine processable
- inductive logic programming
- semantic information
- rule language
- lexical semantics
- predicate calculus
- recursive programs
- logic programming
- machine learning
- artificial intelligence
- databases
- transformation rules
- database
- precisely defined
- constraint language
- data mining
- information retrieval
- relational learning
- general purpose
- database systems