|
|||||
|
|
Abstract interpretation meets convex optimization |
|
| Authors: | Thomas Martin Gawlitza,Helmut Seidl,Assalé Adjé ,Sté phane Gaubert,É ric Goubault |
| Affiliation: | 1. VERIMAG, Grenoble, France;2. School of Information Technologies, The University of Sydney, Sydney, Australia;3. Technische Universität München, München, Germany;4. CEA, LIST and LIX, Ecole Polytechnique (MeASI), France;5. INRIA Saclay and CMAP, Ecole Polytechnique, F-91128 Palaiseau Cedex, France;6. CEA, LIST (MeASI), F-91191 Gif-sur-Yvette Cedex, France |
| Abstract: | |
| Keywords: | Static analysis Abstract interpretation Fixpoint equations Convex optimization Strategy improvement algorithms Semi-definite relaxation |
| 本文献已被 ScienceDirect 等数据库收录！ | |