The Quotient of an Abstract Interpretation for Comparing Static Analyses.

Agostino Cortesi Gilberto Filé William H. Winsborough

Published in: GULP-PRODE (1) (1994)

Keyphrases

abstract interpretation
dynamic analysis
static analysis
termination analysis
model checking
reasoning engine
source code
reverse engineering
active databases
databases
web services
active rules