Dmitri Boulanger

20 papers B 3C 4Journal 1Unranked 11
YearRankTypeTitle / Venue / Authors
2000 C conf
A Formal Background to Build Constraint Objects.
IDEAS
Annalisa Di Deo, Dmitri Boulanger
2000 — conf
Using Objects to Build Constraint Databases.
WLP
Annalisa Di Deo, Dmitri Boulanger
1997 — conf
Analyzing Declarative Semantics of Logic Programs.
WLP
Dmitri Boulanger
1997 — conf
Constraint-basierte Planung und Konfiguration (system description).
WLP
Dmitri Boulanger, Andreas Fordan, Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Alexander Nareyek, André Schiemann, Armin Wolf
1997 — conf
Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaCon.
WLP
André Schiemann, Ulrich John, Ulrich Geske, Dmitri Boulanger
1996 B conf
A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation.
SAS
Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers
1996 — conf
Analysis of Logic-Based Systems.
Logic in Databases
Dmitri Boulanger
1996 — ed.
Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 4th Workshop in Conjunction with JICSLP '96, Bonn, Germany, September 5-6, 1996
DDLP
Dmitri Boulanger, Ulrich Geske, Fosca Giannotti, Dietmar Seipel
1995 — conf
Complete Analysis for Definite Logic Programs.
WLP
Dmitri Boulanger
1995 — conf
Practical Model-Based Static Analysis for Definite Logic Programs.
ILPS
John P. Gallagher, Dmitri Boulanger, Hüseyin Saglam
1994 B conf
A Systematic Construction of Abstract Domains
SAS
Dmitri Boulanger, Maurice Bruynooghe
1994 — conf
Abstract Domains: a Model-Theoretic approach.
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages
Dmitri Boulanger, Maurice Bruynooghe
1994 — conf
Abstracting s-semantincs Using A Model-Theoretic Approach.
PLILP
Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker
1994 B conf
Compiling Control Revisited: A New Approach based upon Abstract Interpretation.
ICLP
Dmitri Boulanger, Danny De Schreye
1994 C conf
Using Call/Exit Analysis for Logic Program Transformation.
LOPSTR
Dmitri Boulanger, Maurice Bruynooghe
1993 — conf
Abstract Interpretation for (Constraint) Logic Programming.
NATO ASI CP
Maurice Bruynooghe, Dmitri Boulanger
1993 — conf
Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs.
LPE
Dmitri Boulanger, Maurice Bruynooghe, Danny De Schreye
1993 J jnl
Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation.
J. Symb. Comput.
Dmitri Boulanger, Maurice Bruynooghe
1993 C conf
Using Abstract Interpretation for Goal Replacement.
LOPSTR
Dmitri Boulanger, Maurice Bruynooghe
1992 C conf
Deriving Transformations for Logic Programs Using Abstract Interpretation.
LOPSTR
Dmitri Boulanger, Maurice Bruynooghe