Dmitri Boulanger

According to our database, Dmitri Boulanger authored at least 20 papers between 1991 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2000

Using Objects to Build Constraint Databases.

Annalisa Di Deo, Dmitri Boulanger

Proceedings of the 14. Workshop Logische Programmierung, 2000

A Formal Background to Build Constraint Objects.

Annalisa Di Deo, Dmitri Boulanger

Proceedings of the 2000 International Database Engineering and Applications Symposium, 2000

1997

Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaCon.

André Schiemann, Ulrich John, Ulrich Geske, Dmitri Boulanger

Proceedings of the Twelfth Workshop Logic Programming, 1997

Constraint-basierte Planung und Konfiguration (system description).

Dmitri Boulanger, Andreas Fordan, Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Alexander Nareyek, André Schiemann, Armin Wolf

Proceedings of the Twelfth Workshop Logic Programming, 1997

Analyzing Declarative Semantics of Logic Programs.

Dmitri Boulanger

Proceedings of the Twelfth Workshop Logic Programming, 1997

1996

A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation.

Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers

Proceedings of the Static Analysis, Third International Symposium, 1996

Analysis of Logic-Based Systems.

Dmitri Boulanger

Proceedings of the Logic in Databases, 1996

1995

Complete Analysis for Definite Logic Programs.

Dmitri Boulanger

Proceedings of the 11. Workshop Logische Programmierung, 1995

Practical Model-Based Static Analysis for Definite Logic Programs.

John P. Gallagher, Dmitri Boulanger, Hüseyin Saglam

Proceedings of the Logic Programming, 1995

1994

A Systematic Construction of Abstract Domains

Dmitri Boulanger, Maurice Bruynooghe

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Abstracting s-semantincs Using A Model-Theoretic Approach.

Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker

Proceedings of the Programming Language Implementation and Logic Programming, 1994

Using Call/Exit Analysis for Logic Program Transformation.

Dmitri Boulanger, Maurice Bruynooghe

Proceedings of the Logic Programming Synthesis and Transformation, 1994

Compiling Control Revisited: A New Approach based upon Abstract Interpretation.

Dmitri Boulanger, Danny De Schreye

Proceedings of the Logic Programming, 1994

Abstract Domains: a Model-Theoretic approach.

Dmitri Boulanger, Maurice Bruynooghe

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

1993

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

Dmitri Boulanger, Maurice Bruynooghe

J. Symb. Comput., 1993

Abstract Interpretation for (Constraint) Logic Programming.

Maurice Bruynooghe, Dmitri Boulanger

Proceedings of the Constraint Programming, 1993

Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs.

Dmitri Boulanger, Maurice Bruynooghe, Danny De Schreye

Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), 1993

Using Abstract Interpretation for Goal Replacement.

Dmitri Boulanger, Maurice Bruynooghe

Proceedings of the Logic Program Synthesis and Transformation, 1993

1992

Deriving Transformations for Logic Programs Using Abstract Interpretation.

Dmitri Boulanger, Maurice Bruynooghe

Proceedings of the Logic Program Synthesis and Transformation, 1992

1991

Deep Logic Program Transformation Using Abstract Interpretation.

Dmitri Yu. Boulanger

Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991