Horn clauses as an intermediate representation for program analysis and transformation*. Issue 4 (3rd September 2015)

• Record Type: Journal Article
• Authors: GANGE, GRAEME; NAVAS, JORGE A.; SCHACHTE, PETER; SØNDERGAARD, HARALD; STUCKEY, PETER J.
• Editors: Eiter, Thomas; Toni, Francesca
• Is Part Of: Theory and practice of logic programming. Volume 15:Issue 4/5(2015)
• Page Start: 526
• Page End: 542
• Publication Date: 2015-09-03
• Subjects: compilers, -- control flow graphs, -- intermediate representation, -- program analysis and transformation, -- SSA; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068415000204
• Languages: English
• ISSNs: 1471-0684

Abstract

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 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 suitable as a language for program analysis and transformation. We present a simple LP language that enforces determinism and single-modedness, and show that it makes a convenient program representation for analysis and transformation.