A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Horn clauses as an intermediate representation for program analysis and transformation
2015
Theory and Practice of Logic Programming
Preserved Fulltext
Other Versions
AbstractMany 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 the compilation process. With restrictions ensuring determinism and single-modedness, a logic program can easily be transformed to machine language or other low-level language, while maintaining the simple semantics that makes it
doi:10.1017/s1471068415000204
fatcat:h3j4du3p4zel7n46ztv34zd3p4