PETER SCHACHTE

Horn clauses as an intermediate representation for program analysis and transformation

2015 · Theory and Practice of Logic Programming

Abstract Many recent analyses for conventional imperative programs begin by transforming programs into logic programs, capitalising on existing LP analyses and simple LP semantics. We propose using logic programs as an intermediate program representation throughout …