Sign in

Optimal Program Synthesis via Abstract Interpretation.

Stephen MellSteve ZdancewicOsbert Bastani
Published in: Proc. ACM Program. Lang. (2024)
Keyphrases
  • program synthesis
  • abstract interpretation
  • termination analysis
  • recursive programs
  • databases
  • relational databases
  • inductive logic programming