Author:
Lemerre Matthieu,Rival Xavier,Nicole Olivier,Illous Hugo
Publisher
Springer International Publishing
Reference38 articles.
1. Berdine J, Calcagno C, O’Hearn PW (2005) Smallfoot: Modular automatic assertion checking with separation logic. In: de Boer FS, Bonsangue MM, Graf S, de Roever WP (eds) Formal methods for components and objects, 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1–4, 2005, Revised lectures, vol 4111. Lecture notes in computer science. Springer, pp 115–137
2. Calcagno C, Distefano D, O’Hearn PW, Yang H (2011) Compositional shape analysis by means of bi-abduction. J ACM 58(6):26:1–26:66
3. Chandra S, Reps T (1999) Physical type checking for C. ACM SIGSOFT Softw Engin Notes 24(5):66–75
4. Chang BYE, Dragoi C, Manevich R, Rinetzky N, Rival X (2020) Shape analysis. Found Trends Program Lang 6(1–2):1–158
5. Chang BYE, Rival X (2008) Relational inductive shape analysis. In: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, pp 247–260. ACM, New York (2008)