collaborators

1 paper

cs.PL2025

Inductive Synthesis of Inductive Heap Predicates -- Extended Version

Ziyi Yang, Ilya Sergey

We present an approach to automatically synthesise recursive predicates in Separation Logic (SL) from concrete data structure instances using Inductive Logic Programming (ILP) tech…