Cristiano Calcagno
11 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
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
Separation logic becoming a tool, from the 2002 thesis on stateful programming onward. The theory asks what the logic can decide -- computability and complexity for a spatial assertion language, the translation to first-order logic, a decidable fragment -- and the abstract accounts in local action and local reasoning about data update. The analysers follow: symbolic execution with separation logic, Smallfoot, and compositional shape analysis by bi-abduction, the result that made whole-program analysis compositional.
Compositional Shape Analysis by Means of Bi-Abduction
Cristiano Calcagno and others (2011) · Journal of the ACM · Association for Computing Machinery
Cyclic proofs of program termination in separation logic
James Brotherston and others (2008) · ACM SIGPLAN Notices
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