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",
}