Bi-abductive resource invariant synthesis (2009)

by C Calcagno, D Distefano, V Vafeiadis
Venue:In Proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS ’09