Higher-order constrained horn clauses for verification.

Toby Cathcart Burn C.-H. Luke Ong Steven J. Ramsay

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

horn clauses
higher order
inference rules
logic programs
conceptual clustering
first order logic
high order
model checking
pairwise
natural images
markov random field
inductive logic programming
lattice theory
signature verification
data sets
logic programming
decision trees
function symbols