Items where Author / Artist / Editor is "Calcagno, Cristiano"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.


Brotherston, James, Bornat, Richard ORCID logoORCID: and Calcagno, Cristiano (2008) Cyclic proofs of program termination in separation logic. ACM SIGPLAN Notices - POPL '08, 43 (1) . pp. 101-112. ISSN 0362-1340 [Article] (doi:10.1145/1328897.1328453)

Bornat, Richard ORCID logoORCID:, Calcagno, Cristiano and Yang, Hongseok (2006) Variables as resources in separation logic. 21st Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXI), Birmingham, UK. Proceedings in Electronic Notes in Theoretical Computer Science. Elsevier B.V., 155 . pp. 247-276. ISSN 1571-0661 [Article] (doi:10.1016/j.entcs.2005.11.059)

Bornat, Richard ORCID logoORCID:, Calcagno, Cristiano, Parkinson, Matthew and O'Hearn, Peter (2005) Permission accounting in separation logic. 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '05), Long Beach, California, USA. Proceedings . pp. 259-270. ISSN 0362-1340 [Article] (doi:10.1145/1047659.1040327)

Book Section

Bornat, Richard ORCID logoORCID:, Calcagno, Cristiano and Parkinson, Matthew (2006) Variables as resource in Hoare logic. In: 21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006), Seattle, Washington. Proceedings. IEEE Computer Society., pp. 137-146. ISBN 0-7695-2631-4. [Book Section] (doi:10.1109/LICS.2006.52)

This list was generated on Sat Jun 3 06:57:40 2023 BST.