Sign in
Abstract interpretation: past, present and future.
Patrick Cousot
Radhia Cousot
Published in:
CSL-LICS (2014)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
active rules
high level
active databases