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.
Cristiano Calcagno
A grouping.
Cristiano Calcagno: separation logic becoming a tool - decidability and complexity of the spatial assertion language, local action, then symbolic execution, Smallfoot and compositional shape analysis by bi-abduction.
15 references
Compositional Shape Analysis by Means of Bi-Abduction
Cristiano Calcagno and others (2011) · Journal of the ACM · Association for Computing Machinery
Infer: An Automatic Program Verifier for Memory Safety of C Programs
Cristiano Calcagno and others (2011) · Lecture notes in computer science · Springer Science+Business Media
Classical BI: Its Semantics and Proof Theory
James Brotherston and others (2010) · Centre pour la Communication Scientifique Directe (CCSD)
Cyclic proofs of program termination in separation logic
James Brotherston and others (2008) · ACM SIGPLAN Notices
Scalable Shape Analysis for Systems Code
Hongseok Yang and others (2008) · Lecture notes in computer science · Springer Science+Business Media
Context logic as modal logic: completeness and parametric inexpressivity
Cristiano Calcagno and others (2007) · ACM SIGPLAN Notices · Association for Computing Machinery
Local reasoning about data update
Cristiano Calcagno and others (2007) · Electronic Notes in Theoretical Computer Science
Local Action and Abstract Separation Logic
Cristiano Calcagno and others (2007) · 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) · IEEE
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
Permission accounting in separation logic
Richard Bornat and others (2005) · Proceedings of the 32nd ACM Symposium on Principles of Programming Languages
From separation logic to first-order logic
Cristiano Calcagno and others (2005) · 8th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS) · Springer
A Decidable Fragment of Separation Logic
Josh Berdine and others (2004) · FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science · Springer
Semantic and Logical Properties of Stateful Programming
Cristiano Calcagno (2002) · Universita di Genova
Computability and Complexity Results for a Spatial Assertion Language for Data Structures
Cristiano Calcagno and others (2001) · Foundations of Software Technology and Theoretical Computer Science (FSTTCS) · Springer