Structuring the Synthesis of Heap-Manipulating Programs - Extended Version

Nadia Polikarpova, Ilya Sergey

This paper describes a deductive approach to synthesizing imperative programs with pointers from declarative specifications expressed in Separation Logic. Our synthesis algorithm t…