Compositional resource invariant synthesis (2009)

by Cristiano Calcagno , Dino Distefano , Viktor Vafeiadis
Venue:In APLAS’09: Asian Symposium on Programming Languages and Systems
Citations:2 - 0 self