Isabelle-verified correctness of Datalog programs for program analysis.

Anders Schlichtkrull, Ren Rydhof Hansen, Flemming Nielson

Browse the full SAC paper archive.