Polymorphic Typing by Abstract Interpretation.

Published in: FSTTCS (1992)

Keyphrases

abstract interpretation
static analysis
termination analysis
dynamic analysis
model checking
source code
active rules
reasoning engine
test suite
active databases
query processing
web services
open source
regular expressions