Sign in
The Quotient of an Abstract Interpretation.
Agostino Cortesi
Gilberto Filé
William H. Winsborough
Published in:
Theor. Comput. Sci. (1998)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
active databases
object oriented
dynamic analysis
artificial intelligence