This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Josh Berdine
A grouping.
Josh Berdine: separation logic made runnable, 2004-06, with Calcagno and O'Hearn - a decidable fragment, symbolic execution, and Smallfoot. All three are held without copies.
5 references
Finding real bugs in big programs with incorrectness logic
Quang Loc Le and others (2022) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Scalable Shape Analysis for Systems Code
Hongseok Yang and others (2008) · Lecture notes in computer science · Springer Science+Business Media
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Josh Berdine and others (2006) · Formal Methods for Components and Objects · Springer Berlin Heidelberg
Symbolic Execution with Separation Logic
Josh Berdine and others (2005) · Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings · Springer
A Decidable Fragment of Separation Logic
Josh Berdine and others (2004) · FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science · Springer