Login / Signup
An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework.
Mengluo Ji
Huaimin Wang
Mengjun Li
Wei Dong
Zhichang Qi
Published in:
J. Comput. Res. Dev. (2006)
Keyphrases
</>
abstract interpretation
data flow
termination analysis
static analysis
control flow
active rules
model checking
dynamic analysis
database
databases
information systems
management system
fine grained
database machine
reasoning engine
object oriented software