Abstract interpretation meets convex optimization.
Thomas Martin GawlitzaHelmut SeidlAssalé AdjéStéphane GaubertEric GoubaultPublished in: J. Symb. Comput. (2012)
Keyphrases
- convex optimization
- abstract interpretation
- termination analysis
- static analysis
- interior point methods
- model checking
- active rules
- low rank
- reasoning engine
- primal dual
- active databases
- convex optimization problems
- convex relaxation
- total variation
- dynamic analysis
- norm minimization
- operator splitting
- image processing
- regular expressions
- database systems