Dmitri Boulanger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
1992–2000
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | IDEAS | A Formal Background to Build Constraint Objects. | Annalisa Di Deo, Dmitri Boulanger |
| 1996 | SAS | A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. | Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers |
| 1994 | ICLP | Abstract Domains: a Model-Theoretic approach. | Dmitri Boulanger, Maurice Bruynooghe |
| 1994 | ICLP | Compiling Control Revisited: A New Approach based upon Abstract Interpretation. | Dmitri Boulanger, Danny De Schreye |
| 1994 | LOPSTR | Using Call/Exit Analysis for Logic Program Transformation. | Dmitri Boulanger, Maurice Bruynooghe |
| 1994 | SAS | A Systematic Construction of Abstract Domains | Dmitri Boulanger, Maurice Bruynooghe |
| 1993 | LOPSTR | Using Abstract Interpretation for Goal Replacement. | Dmitri Boulanger, Maurice Bruynooghe |
| 1992 | LOPSTR | Deriving Transformations for Logic Programs Using Abstract Interpretation. | Dmitri Boulanger, Maurice Bruynooghe |