Abstract

Syntax Tree, indicating that the intermediate format to represent programs also contains information encoded as polyhedra). The Omega-library 97 is used extensively to simplify Presburger formula and to convert them into sets of disjoint polytopes. The Polylib 138, 187 library is used to perform operations on polytopes, such as intersection, union, and Clauss' interpolation method for enumerating 50. Furthermore, the analytical enumeration method described in section 4.4 has been...

Links and resources

Tags