Keyword:abstract domains

Papers
Combination of Boxes and PolyhedraAbstractions for Constraint Solving Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné and Charlotte Truchet EasyChair Preprint no. 1906