Items where Author / Artist / Editor is "Brotherston, James"

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

Article

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)

Conference or Workshop Item

Brotherston, James, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Kanovich, Max (2017) Biabduction (and related problems) in array separation logic. Automated Deduction – CADE 26. In: International Conference on Automated Deduction, 8-11 August 2017, Gothenburg. ISBN 978-3-319-63046-5. ISSN 0302-9743 (doi:10.1007/978-3-319-63046-5_29)

Brotherston, James, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Kanovich, Max and Rowe, Reuben (2016) Model checking for symbolic-heap separation logic with inductive predicates. Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016. In: POPL 2016: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 20-22 Jan 2016, St. Petersburg, FL, USA. ISBN 978-1-4503-3549-2. ISSN 1523-2867 (doi:10.1145/2837614.2837621)

Brotherston, James and Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 (2015) Disproving inductive entailments in separation logic via base pair approximation. Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings. In: TABLEAUX 2015: 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 21-24 Sep 2015, Wroclaw, Poland. ISBN 9783319243115. ISSN 0302-9743 (doi:10.1007/978-3-319-24312-2_20)

Brotherston, James, Fuhs, Carsten, Pérez, Juan A. Navarro and Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 (2014) A decision procedure for satisfiability in separation logic with inductive predicates. Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14. In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS 2014, 14-18 Jul 2014, Vienna, Austria. ISBN 9781450328869. (doi:10.1145/2603088.2603091)

Brotherston, James and Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 (2014) Cyclic abduction of inductively defined safety and termination preconditions. Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings. In: 21st International Static Analysis Symposium, SAS 2014, 11-13 Sept 2014, Munich, Germany. ISBN 9783319109350. ISSN 0302-9743 (doi:10.1007/978-3-319-10936-7_5)

Brotherston, James, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Petersen, Rasmus L. (2012) A generic cyclic theorem prover. Programming Languages and Systems. In: APLAS 2012. . ISSN 0302-9743 (doi:10.1007/978-3-642-35182-2_25)

This list was generated on Thu Aug 6 05:25:08 2020 BST.