Login / Signup
Abstract Interpretation of Polymorphic Functions.
Gebreselassie Baraki
John Hughes
Published in:
Functional Programming (1989)
Keyphrases
</>
abstract interpretation
static analysis
termination analysis
model checking
active rules
spatial information
reasoning engine