@phdthesis{ghorbal:pastel-00643442, TITLE = {{Static Analysis of Numerical Programs: Constrained Affine Sets Abstract Domain}}, AUTHOR = {Ghorbal, Khalil}, URL = {https://pastel.hal.science/pastel-00643442}, SCHOOL = {{Ecole Polytechnique X}}, YEAR = {2011}, MONTH = Jul, KEYWORDS = {abstract interpretation ; numerical domains ; affine arithmetic ; affine forms ; affine sets ; zonotopes ; support function ; convex analysis}, TYPE = {Theses}, PDF = {https://pastel.hal.science/pastel-00643442/file/thesis-KG.pdf}, HAL_ID = {pastel-00643442}, HAL_VERSION = {v1}, }