Login / Signup
An Attempt to Find Polymorphic Types by Abstract Interpretation.
Bruno Monsuez
Published in:
JTASPEFT/WSA (1991)
Keyphrases
</>
abstract interpretation
static analysis
termination analysis
database
distributed systems
active rules