Horn Clauses As an Intermediate Representation for Program Analysis and Transformation
G Gange, J Navas Laserna, P Schachte, H SONDERGAARD, PJ Stuckey
Theory and Practice of Logic Programming | Cambridge University Press | Published : 2015
Related Projects (1)
Awarded by Australian Research Council
This work was supported by the Australian Research Council through Discovery Project Grant DP140102194.