 | 1996 |
|---|
| 10 |       | Maurice Bruynooghe,
Bart Demoen,
Dmitri Boulanger,
Marc Denecker,
Anne Mulkers:
A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation.
SAS 1996: 128-142 |
| 1995 |
|---|
| 9 | | Anne Mulkers,
Wim Simoens,
Gerda Janssens,
Maurice Bruynooghe:
On the Practicality of Abstract Equation Systems.
ICLP 1995: 781-795 |
| 8 |  | Maurice Bruynooghe,
Michael Codish,
Anne Mulkers:
Abstracting Unification: A Key Step in the Design of Logic Program Analyses.
Computer Science Today 1995: 406-425 |
| 7 | | Michael Codish,
Anne Mulkers,
Maurice Bruynooghe,
Maria J. García de la Banda,
Manuel V. Hermenegildo:
Improving Abstract Interpretations by Combining Domains.
ACM Trans. Program. Lang. Syst. 17(1): 28-44 (1995) |
| 1994 |
|---|
| 6 | | Anne Mulkers,
William H. Winsborough,
Maurice Bruynooghe:
Live-Structure Dataflow Analysis for Prolog.
ACM Trans. Program. Lang. Syst. 16(2): 205-258 (1994) |
| 1993 |
|---|
| 5 | | Anne Mulkers:
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation
Springer 1993 |
| 4 | | Michael Codish,
Anne Mulkers,
Maurice Bruynooghe,
Maria J. García de la Banda,
Manuel V. Hermenegildo:
Improving Abstract Interpretations by Combining Domains.
PEPM 1993: 194-205 |
| 1990 |
|---|
| 3 | | Anne Mulkers,
William H. Winsborough,
Maurice Bruynooghe:
Analysis of Shared Data Structures for Compile-Time Garbage.
ICLP 1990: 747-762 |
| 1989 |
|---|
| 2 | | André Mariën,
Gerda Janssens,
Anne Mulkers,
Maurice Bruynooghe:
The Impact of Abstract Interpretation: An Experiment in Code Generation.
ICLP 1989: 33-47 |
| 1988 |
|---|
| 1 | | Raf Venken,
Anne Mulkers:
The Interaction Between BIM-Prolog and Relational Databases.
Prolog and Databases 1988: 95-107 |
