Login / Signup

Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and their Experimental Evaluation.

Vincent EnglebertBaudouin Le CharlierDidier RolandPascal Van Hentenryck
Published in: Softw. Pract. Exp. (1993)
Keyphrases
  • experimental evaluation
  • logic programming
  • abstract interpretation
  • knowledge base
  • expert systems
  • object oriented
  • business processes
  • termination analysis