Login / Signup
Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog.
Baudouin Le Charlier
Olivier Degimbe
Laurent Michel
Pascal 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