Multivariant Non-failure Analysis via Standard Abstract Interpretation.

Francisco Bueno Pedro López-García Manuel V. Hermenegildo

Published in: FLOPS (2004)

Keyphrases

abstract interpretation
static analysis
management system
dynamic analysis