Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck. Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. In Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy, editors, Static Analysis, Third International Workshop, WSA 93, Padova, Italy, September 22-24, 1993, Proceedings. Volume 724 of Lecture Notes in Computer Science, pages 15-26, Springer, 1993.
@inproceedings{CharlierDMH93,
title = {Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog},
author = {Baudouin Le Charlier and Olivier Degimbe and Laurent Michel and Pascal Van Hentenryck},
year = {1993},
tags = {optimization, Prolog, Pascal},
researchr = {https://researchr.org/publication/CharlierDMH93},
cites = {0},
citedby = {0},
pages = {15-26},
booktitle = {Static Analysis, Third International Workshop, WSA 93, Padova, Italy, September 22-24, 1993, Proceedings},
editor = {Patrick Cousot and Moreno Falaschi and Gilberto Filé and Antoine Rauzy},
volume = {724},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57264-3},
}