Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation.
Yongho YoonWoosuk LeeKwangkeun YiPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- high level
- forward backward
- program synthesis
- recursive programs
- abstract interpretation
- termination analysis
- inductive logic programming
- hidden markov models
- static analysis
- model checking
- active databases
- active rules
- relational learning
- background knowledge
- machine learning
- dynamic analysis
- reasoning engine
- logic programs
- training data
- information systems