Login / Signup
Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG.
Baudouin Le Charlier
Pascal Van Hentenryck
Published in:
ACM Trans. Program. Lang. Syst. (1994)
Keyphrases
</>
experimental evaluation
matching algorithm
expert systems
data model