Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary).

Alex Ferguson John Hughes

Published in: Functional Programming (1992)

Keyphrases

higher order
data structure
abstract interpretation
termination analysis
static analysis
data types
model checking
active rules
pairwise
database
distributed systems
dynamic analysis