Sign in
Type Inference, Abstract Interpretation and Strictness Analysis.
Mario Coppo
Alberto Ferrari
Published in:
Theor. Comput. Sci. (1993)
Keyphrases
</>
abstract interpretation
static analysis
database
multi agent systems