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…