A Note on Abstract Interpretation of Polymorphic Functions.

Gebreselassie Baraki

Published in: FPCA (1991)

Keyphrases

abstract interpretation
static analysis
termination analysis
dynamic analysis
active rules
model checking
web services
case study
description language
active databases