Searching for authors named "Cristiano Calcagno" – sorted by Relevance.
45 documents found, showing 1 through 10.
Next 10 →
-
Semantic analysis of pointer aliasing, allocation and disposal in hoare logic
- …Semantic Analysis of Pointer Aliasing, Allocation and Disposal in Hoare Logic Cristiano Calcagno…
- Cited by 18 (6 self) – Add To MetaCart
-
Stratified Operational Semantics for Safety and Correctness of The Region Calculus
- …Stratified Operational Semantics for Safety and Correctness of The Region Calculus Cristiano…
- Cited by 24 (2 self) – Add To MetaCart
-
Local action and abstract separation logic
- …Local Action and Abstract Separation Logic Cristiano Calcagno Imperial College, London Abstract…
- Cited by 15 (2 self) – Add To MetaCart
-
From separation logic to first-order logic
- …From Separation Logic to First-Order Logic Cristiano Calcagno Philippa Gardner Matthew Hague…
- Cited by 8 (0 self) – Add To MetaCart
-
Multi-Stage Imperative Languages: A Conservative Extension Result
- …Multi-Stage Imperative Languages: A Conservative Extension Result Cristiano Calcagno 1 and Eugenio…
- Cited by 5 (4 self) – Add To MetaCart
-
Adjunct Elimination in Context Logic for Trees
- …Adjunct Elimination in Context Logic for Trees Cristiano Calcagno, Thomas Dinsdale…
- Add To MetaCart
-
Classical BI (A Logic for Reasoning about Dualising Resources)
- …Classical BI (A Logic for Reasoning about Dualising Resources) James Brotherston ∗ Cristiano…
- Cited by 1 (1 self) – Add To MetaCart
-
Algebraic models and complete proof calculi for classical BI
- …Algebraic Models and Complete Proof Calculi for Classical BI James Brotherston and Cristiano…
- Cited by 2 (2 self) – Add To MetaCart
-
Classical logic of bunched implications
- …Classical Logic of Bunched Implications James Brotherston and Cristiano Calcagno ⋆ Dept…
- Cited by 2 (2 self) – Add To MetaCart
-
Decidability of Context Logic
- …Decidability of Context Logic Cristiano Calcagno, Thomas Dinsdale-Young, and Philippa Gardner…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
