Synthesis of Eureka Predicates for Developing Logic Programs
Abstract elided by the publisher.
Related papers
- Automated lemma synthesis in symbolic-heap separation logic POPL 2018
- Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations ESOP 1990
- Optimal Predicate Pushdown Synthesis PLDI 2026
- Shape analysis with inductive recursion synthesis PLDI 2007
- Inductive Synthesis of Inductive Heap Predicates OOPSLA 2025
- The Eureka Programming Model for Speculative Task Parallelism ECOOP 2015
- Neural Network-Guided Synthesis of Recursive List Functions TACAS 2023
- Synthesis of Resource Invariants for Concurrent Programs TOPLAS 1980