Login / Signup

Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog.

Baudouin Le CharlierOlivier DegimbeLaurent MichelPascal Van Hentenryck
Published in: WSA (1993)
Keyphrases
  • general purpose
  • fixpoint
  • orders of magnitude
  • knowledge base
  • data structure
  • logic programs
  • programming language
  • deductive databases
  • databases
  • logic programming
  • update rule