Relational Inductive Shape Analysis (2008)

by Bor-yuh Evan Chang , Xavier Rival
Venue:in "ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:52 - 6 self