论文信息 - Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types: Refinement Types and Higher-Order Constrained Horn Clauses (Extended Abstract) - 字舞流文

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types: Refinement Types and Higher-Order Constrained Horn Clauses (Extended Abstract)

C.-H. Luke Ong | Steven J. Ramsay

[1] Patrick Maxim Rondon,et al. Liquid types , 2008, PLDI '08.

[2] Naoki Kobayashi,et al. Predicate abstraction and CEGAR for higher-order model checking , 2011, PLDI '11.

[3] Andrey Rybalchenko,et al. Solving Existentially Quantified Horn Clauses , 2013, CAV.

[4] Nikolaj Bjørner,et al. Horn Clause Solvers for Program Verification , 2015, Fields of Logic and Computation II.

[5] Suresh Jagannathan,et al. Compositional and Lightweight Dependent Type Inference for ML , 2013, VMCAI.

[6] Ranjit Jhala,et al. Bounded refinement types , 2015, ICFP.