Sven Verdoolaege Rachid Seghir Kristof Beyls Vincent Loechner Maurice Bruynooghe Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations. 248-258 2004 conf/cases/2004 CASES http://doi.acm.org/10.1145/1023833.1023868 db/conf/cases/cases2004.html#VerdoolaegeSBLB04