Sign in

Proving correctness of imperative programs by linearizing constrained Horn clauses.

Emanuele De AngelisFabio FioravantiAlberto PettorossiMaurizio 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