Login / Signup

Experimental evaluation of a generic abstract interpretation algorithm for Prolog.

Baudouin Le CharlierPascal Van Hentenryck
Published in: ICCL (1992)
Keyphrases
  • experimental evaluation
  • expert systems
  • fine grained
  • data structure
  • tree structure
  • matching algorithm