Synthesizing data structure refinements from integrity constraints.

Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig

Browse the full PLDI paper archive.