Abstract Interpretation for (Constraint) Logic Programming

Maurice Bruynooghe, Dmitri Boulanger. Abstract Interpretation for (Constraint) Logic Programming. In Brian H. Mayoh, Enn Tyugu, Jaan Penjam, editors, Constraint Programming, Proceedings of the NATO Advanced Study Institute on Constraint Programming, Parnu, Estonia, August 13-24, 1993. Volume 131 of NATO ASI Series, pages 228-260, Springer, 1993. [doi]

Authors

Maurice Bruynooghe

This author has not been identified. It may be one of the following persons: Look up 'Maurice Bruynooghe' in Google

Dmitri Boulanger

This author has not been identified. Look up 'Dmitri Boulanger' in Google