Searching for authors named "Dmitri Boulanger" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Analyzing Declarative Semantics of Logic Programs
- …Analyzing Declarative Semantics of Logic Programs Dmitri Boulanger GMD-FIRST, Rudower Chaussee 5…
- Cited by 1 (1 self) – Add To MetaCart
-
Practical Model-Based Static Analysis for Definite Logic Programs
- …-Based Static Analysis for Definite Logic Programs John Gallagher Dmitri Boulanger Huseyin Saglam ACRC-95:CS…
- Cited by 28 (13 self) – Add To MetaCart
-
A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation
- … 1 , Bart Demoen 1 , Dmitri Boulanger 2 , Marc Denecker 1 and Anne Mulkers 1 1 K…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 3.
