Login / Signup
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses.
Emanuele De Angelis
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
Published in:
CoRR (2015)
Keyphrases
</>
horn clauses
imperative programs
first order logic
inference rules
logic programs
dynamic logic
database queries
inductive logic programming
function symbols
keywords
general purpose
data mining
machine learning
artificial intelligence
probabilistic model
graphical models