By Mr Vincent Jackson

Conference Papers

Jackson V; Murray T; Rizkallah C, 2024, 'A Generalised Union of Rely-Guarantee and Separation Logic Using Permission Algebras', in Leibniz International Proceedings in Informatics Lipics, http://dx.doi.org/10.4230/LIPIcs.ITP.2024.23

Giles RD; Jackson V; Rizkallah C, 2024, 'T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations', in Leibniz International Proceedings in Informatics Lipics, http://dx.doi.org/10.4230/LIPIcs.ICALP.2024.139

Back to profile page