Browse "School of Computing(전산학부)" by Author Calcagno, Cristiano
Showing results 1 to 3 of 3
| Beyond reachability: Shape abstraction in the presence of pointer arithmetic Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter W.; Yang, Hongseok, STATIC ANALYSIS, PROCEEDINGS, v.4134, pp.182 - 203, 2006 |
| Compositional Shape Analysis by Means of Bi-Abduction Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter W.; Yang, Hongseok, JOURNAL OF THE ACM, v.58, no.6, 2011-12 |
| 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 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,747 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989