Sippy
Our paper on synthesising Separation Logic predicates using Answer Set Programming (with Ziyi Yang) is accepted at OOPSLA’25.
Our paper on synthesising Separation Logic predicates using Answer Set Programming (with Ziyi Yang) is accepted at OOPSLA’25.