Login / Signup
Transformation of Strictness-Related Analyses Nased on Abstract Interpretation.
Mizuhito Ogawa
Satoshi Ono
Published in:
FGCS (1988)
Keyphrases
</>
abstract interpretation
query language
termination analysis
case study
open source
active rules