Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗ - Logic programming - Document - PDFSEARCH.IO

First Page	Meta Content
	Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗ Add to Reading List Document Date: 2018-10-25 12:43:22 Open Document File Size: 223,69 KB Share Result on Facebook

Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗Add to Reading List