7 citations · 27 across the 17 of their papers we have counts for
1 paper · 2 filters
David Monniaux, Peter Schrammel
We introduce an efficient combination of polyhedral analysis and predicate partitioning. Template polyhedral analysis abstracts numerical variables inside a program by one polyhedr…