Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata.
Anders MiltnerZiteng WangSwarat ChaudhuriIsil DilligPublished in: CAV (3) (2024)
Keyphrases
- tree automata
- program synthesis
- recursive programs
- relational learning
- finite automata
- regular expressions
- finite state
- relational data
- logic programs
- transformation rules
- inductive logic programming
- relational databases
- finite automaton
- data model
- context free grammars
- tree languages
- integrity constraints
- software engineering
- artificial intelligence