Higher−order Constrained Horn Clauses for Verification
Cathcart Burn‚ Toby‚ C.−H. Luke Ong and Steven J. Ramsay
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
Volume
2
Year
2017