Login / Signup
Proving correctness of imperative programs by linearizing constrained Horn clauses.
Emanuele De Angelis
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
Published in:
Theory Pract. Log. Program. (2015)
Keyphrases
</>
horn clauses
imperative programs
first order logic
inference rules
logic programs
inductive logic programming
dynamic logic
artificial intelligence
database queries
logic programming