Sign in

Multivariant Non-failure Analysis via Standard Abstract Interpretation.

Francisco BuenoPedro López-GarcíaManuel V. Hermenegildo
Published in: FLOPS (2004)
Keyphrases
  • abstract interpretation
  • static analysis
  • management system
  • dynamic analysis