Login / Signup
Compile-Time Derivation of Variable Dependency Using Abstract Interpretation.
Kalyan Muthukumar
Manuel V. Hermenegildo
Published in:
J. Log. Program. (1992)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
integrity constraints
active rules
model checking
dynamic analysis