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

Article

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 [Article] (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 [Article] (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 [Article] (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 [Article] (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 [Article] (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 [Article] (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. [Book Section] (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. [Book Section] (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. [Book Section] (doi:10.1109/LICS.2006.52)

Conference or Workshop Item

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Boender, Jaap, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Poly, Guillaume and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2020) Describing and simulating concurrent quantum systems. Biere, Armin and Parker, David, eds. Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 20), 27-30 Apr 2020, Dublin. ISBN 9783030452360, e-ISBN 9783030452377. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-030-45237-7_16)

Other

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, arXiv.org. [Other] (doi:10.48550/arXiv.1512.01416)