Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation.
Yongho YoonWoosuk LeeKwangkeun YiPublished in: CoRR (2023)
Keyphrases
- forward backward
- program synthesis
- recursive programs
- abstract interpretation
- inductive logic programming
- termination analysis
- hidden markov models
- static analysis
- model checking
- active rules
- dynamic analysis
- reasoning engine
- background knowledge
- distributed databases
- active databases
- information systems
- logic programs
- database systems