BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Boulanger:Dmitri

Contributed to:

SAS 19961996
ILPS 19951995
ICLP 19941994
LOPSTR/META 19941994
PLILP 19941994
SAS 19941994
LOPSTR 19931993
LOPSTR 19921992

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.