Dmitri Boulanger (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

11		Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers: A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. SAS 1996: 128-142
7		Dmitri Boulanger, Maurice Bruynooghe: Using Call/Exit Analysis for Logic Program Transformation. LOPSTR 1994: 36-50
6		Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker: Abstracting s-semantincs Using A Model-Theoretic Approach. PLILP 1994: 432-446
5		Dmitri Boulanger, Maurice Bruynooghe: A Systematic Construction of Abstract Domains SAS 1994: 61-77
4		Dmitri Boulanger, Maurice Bruynooghe: Using Abstract Interpretation for Goal Replacement. LOPSTR 1993: 210-228
3		Dmitri Boulanger, Maurice Bruynooghe, Danny De Schreye: Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs. LPE 1993: 39-51
2		Dmitri Boulanger, Maurice Bruynooghe: Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation. J. Symb. Comput. 15(5/6): 495-521 (1993)
1		Dmitri Boulanger, Maurice Bruynooghe: Deriving Transformations for Logic Programs Using Abstract Interpretation. LOPSTR 1992: 99-117

Selection of 8 from 17 records - Dmitri Boulanger has 15 coauthors