Login / Signup
Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation.
Vincent Englebert
Baudouin Le Charlier
Didier Roland
Pascal Van Hentenryck
Published in:
PLILP (1992)
Keyphrases
</>
experimental evaluation
orders of magnitude
data structure