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