Login / Signup
An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.
Roberta Gori
Published in:
Theor. Comput. Sci. (2003)
Keyphrases
</>
abstract interpretation
static analysis
knowledge base
software engineering
software architecture
data flow