Toby Cathcart Burn
Toby Cathcart Burn
Wolfson Building, Parks Road, Oxford OX1 3QD
Interests
I am studying higher-order Horn clauses, with a focus on their applications for higher-order program verification.
Selected Publications
-
Higher−order Constrained Horn Clauses for Verification
Cathcart Burn‚ Toby‚ C.−H. Luke Ong and Steven J. Ramsay
In Proc. ACM Program. Lang.. Vol. 2. No. POPL. Pages 11:1–11:28. December, 2017.
Details about Higher−order Constrained Horn Clauses for Verification | BibTeX data for Higher−order Constrained Horn Clauses for Verification | DOI (10.1145/3158099) | Link to Higher−order Constrained Horn Clauses for Verification