Items where Author / Artist / Editor is "Bornat, Richard"

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

Article

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Alglave, Jade and Parkinson, Matthew (2016) New lace and arsenic: adventures in weak memory with a program logic (v2). Arxiv . (Published online first)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233 and Amjad, Hasan (2011) Explanation of two non-blocking shared-variable communication algorithms. Formal Aspects of Computing . ISSN 0934-5043 (doi:10.1007/s00165-011-0213-4)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233 and Amjad, Hasan (2010) Inter-process buffers in separation logic with rely-guarantee. Formal Aspects of Computing, 22 (6) . pp. 735-772. ISSN 0934-5043 (doi:10.1007/s00165-009-0141-8)

Brotherston, James, Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233 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 (doi:10.1145/1328897.1328453)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Parkinson, Matthew and O'Hearn, Peter (2007) Modular verification of a non-blocking stack. 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '07), Nice, France. Proceedings. . pp. 297-302. ISSN 0362-1340 (doi:10.1145/1190216.1190261)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, 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 (doi:10.1016/j.entcs.2005.11.059)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, 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 (doi:10.1145/1047659.1040327)

Book Section

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233 (2010) Separation logic and concurrency. In: Formal Methods: State of the Art and New Directions. Boca, Paul, Bowen, Jonathan P. and Siddiqi, Jawed, eds. Springer-Verlag, London, pp. 217-248. ISBN 9781848827356. (doi:10.1007/978-1-84882-736-3_7)

Amjad, Hasan and Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233 (2009) Towards automatic stability analysis for rely-guarantee proofs. In: Verification, model checking, and abstract interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Jones, Neil D. and Müller-Olm, Markus, eds. Lecture Notes in Computer Science (5403) . Springer, pp. 14-28. ISBN 9783540938996. (doi:10.1007/978-3-540-93900-9_6)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, 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. (doi:10.1109/LICS.2006.52)

This list was generated on Fri Feb 21 05:04:26 2020 GMT.