Showing results 1 to 2 of 2
Compositional Shape Analysis by means of Bi-Abduction Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter; Yang, Hongseok, ACM SIGPLAN NOTICES, v.44, no.1, pp.289 - 300, 2009-01 |
On classifying abduction Park, Woosuk, JOURNAL OF APPLIED LOGIC, v.13, no.3, pp.215 - 238, 2015-09 |
Discover