Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Baudouin Le Charlier' in GoogleThis author has not been identified. Look up 'Olivier Degimbe' in GoogleThis author has not been identified. Look up 'Laurent Michel' in GoogleThis author has not been identified. Look up 'Pascal Van Hentenryck' in Google

runs on WebDSL