Compositional shape analysis by means of bi-abduction (0)

by C Calcagno, D Distefano, P O’Hearn, H Yang
Venue:In POPL: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages