Static Analysis of Numerical Algorithms.

Eric Goubault Sylvie Putot

Published in: SAS (2006)

Keyphrases

numerical algorithms
static analysis
dynamic analysis
partial differential equations
source code
symbolic execution
regular expressions
fourth order
java card
abstract interpretation
image recovery
case study
image segmentation
databases
image processing
image denoising