Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations.

Florent de Dinechin Sophie Robert

Published in: ASAP (1996)

Keyphrases

static analysis
dynamic analysis
knowledge base
source code
structured data
data sets
high level
open source
affine transformation
test suite
linear systems
abstract interpretation