54 citations · 312 across the 36 of their papers we have counts for
1 paper · 2 filters
Khalil Ghorbal, Eric Goubault, Sylvie Putot
We define and study a new abstract domain which is a fine-grained combination of zonotopes with polyhedric domains such as the interval, octagon, linear templates or polyhedron dom…