Cristiano Calcagno
- Compositional Shape Analysis by Means of Bi-Abduction
2011/12/01 by Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn +1 · 4 citations
Computer Science · #Software Engineering Research #Logic, programming, and type systems #Software Testing and Debugging Techniques
- Cyclic proofs of program termination in separation logic
2008/01/07 by J G. Brotherston, Richard Bornat, Cristiano Calcagno · 1 citation
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge