Dmitri Boulanger

A Systematic Construct ion of Abstract Domains

M. Bruynooghe, Dmitri Boulanger, 2005 .

Deep Logic Program Transformation Using Abstract Interpretation

Dmitri Boulanger, Dmitri Boulanger, 1990, RCLP.

A Systematic Construction of Abstract Domains

Maurice Bruynooghe, Dmitri Boulanger, M. Bruynooghe, 1994, SAS.

Abstracting s-semantincs Using A Model-Theoretic Approach

Maurice Bruynooghe, Marc Denecker, Dmitri Boulanger, 1994, PLILP.

Abstract Interpretation for (Constraint) Logic Programming

Maurice Bruynooghe, Dmitri Boulanger, M. Bruynooghe, 1992, NATO ASI CP.

Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation

Maurice Bruynooghe, Dmitri Boulanger, M. Bruynooghe, 1993, J. Symb. Comput..

Deriving Transformations for Logic Programs Using Abstract Interpretation

Maurice Bruynooghe, Dmitri Boulanger, M. Bruynooghe, 1992, LOPSTR.