Static Analysis for Safe Destructive Updates (Extended Abstract) (2001)

Cached

Download Links

by Natarajan Shankar
Venue:Logic Based Program Synthesis and Transformation (LOPSTR 2001), volume 2372 of LNCS
Citations:8 - 1 self