Bi-abductive resource invariant synthesis (2009)

by C Calcagno, D Distefano, V Vafeiadis
Venue:In APLAS: Programming Languages and Systems, 7th Asian Symposium