Login / Signup
Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation.
Kalyan Muthukumar
Manuel V. Hermenegildo
Published in:
ICLP (1991)
Keyphrases
</>
abstract interpretation
static analysis
termination analysis
dynamic analysis
active rules
source code