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