Relational inductive shape analysis (2008)

by B-Y E Chang, X Rival
Venue:In Proc. of the 35th ACM SIGPLAN/SIGACT Symp. on Principles of Programming Languages (POPL’08