Travelled to:1 × Germany
1 × Spain
1 × USA
2 × Belgium
2 × Italy
Collaborated with:M.Bruynooghe M.Denecker D.D.Schreye J.P.Gallagher H.Saglam B.Demoen A.Mulkers
Talks about:abstract (5) interpret (4) program (4) logic (4) use (4) analysi (3) base (3) transform (2) approach (2) model (2)
Person: Dmitri Boulanger
DBLP: Boulanger:Dmitri
Contributed to:
1996
19951994
1994
1994199419931992Wrote 8 papers:
- SAS-1996-BruynoogheDBDM #analysis #logic programming #source code
- A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation (MB, BD, DB, MD, AM), pp. 128–142.
- ILPS-1995-GallagherBS #logic programming #modelling #source code #static analysis
- Practical Model-Based Static Analysis for Definite Logic Programs (JPG, DB, HS), pp. 351–365.
- ICLP-1994-BoulangerS #abstract interpretation #approach #compilation
- Compiling Control Revisited: A New Approach based upon Abstract Interpretation (DB, DDS), pp. 699–713.
- LOPSTR-1994-BoulangerB #analysis #logic programming #program transformation #using
- Using Call/Exit Analysis for Logic Program Transformation (DB, MB), pp. 36–50.
- PLILP-1994-BoulangerBD #approach #using
- Abstracting s-semantincs Using A Model-Theoretic Approach (DB, MB, MD), pp. 432–446.
- SAS-1994-BoulangerB #abstract domain
- A Systematic Construction of Abstract Domains (DB, MB), pp. 61–77.
- LOPSTR-1993-BoulangerB #abstract interpretation #using
- Using Abstract Interpretation for Goal Replacement (DB, MB), pp. 210–228.
- LOPSTR-1992-BoulangerB #abstract interpretation #logic programming #source code #using
- Deriving Transformations for Logic Programs Using Abstract Interpretation (DB, MB), pp. 99–117.