Relational Inductive Shape Analysis (2008)

Cached

Download Links

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