Toby Cathcart Burn : Publications
Click here to download all publications in a single bibtex file
@article{CathcartBurn:2017:HCH:3177123.3158099, title = "Higher-order Constrained Horn Clauses for Verification", author = "Cathcart Burn and Toby and Ong, C.-H. Luke and Ramsay, Steven J.", year = "2017", address = "New York, NY, USA", issn = "2475-1421", journal = "Proc. ACM Program. Lang.", keywords = "constrained Horn clauses, higher-order program verification, refinement types", month = "Dec", number = "POPL", pages = "11:1--11:28", publisher = "ACM", url = "http://doi.acm.org/10.1145/3158099", volume = "2", doi = "10.1145/3158099", }