Login / Signup
Abstract Interpretation vs. Type Inference A Topological Perspective.
Thomas P. Jensen
Published in:
Functional Programming (1990)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
reasoning engine