Back to Results
First PageMeta Content
Mathematics / Theoretical computer science / Elementary mathematics / Compiler optimizations / Static single assignment form / Logic programming / Scope / Unification / Term / FO / Variable / Singular spectrum analysis


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
UPDATE