| 2000 |
|---|
| 7 | | Helmut Simonis,
Trijntje Cornelissens,
Veroniek Dumortier,
Giovanni Fabris,
F. Nanni,
Adriano Tirabosco:
Using Constraint Visualisation Tools.
Analysis and Visualization Tools for Constraint Programming 2000: 321-356 |
| 1996 |
|---|
| 6 | EE | Maria J. García de la Banda,
Manuel V. Hermenegildo,
Maurice Bruynooghe,
Veroniek Dumortier,
Gerda Janssens,
Wim Simoens:
Global Analysis of Constraint Logic Programs.
ACM Trans. Program. Lang. Syst. 18(5): 564-614 (1996) |
| 1995 |
|---|
| 5 | | Gerda Janssens,
Maurice Bruynooghe,
Veroniek Dumortier:
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs.
ILPS 1995: 336-350 |
| 1994 |
|---|
| 4 | | Veroniek Dumortier,
Gerda Janssens:
Towards a Practical Full Mode Inference System for CLP(H, N).
ICLP 1994: 569-583 |
| 1993 |
|---|
| 3 | | Veroniek Dumortier,
Gerda Janssens,
Maurice Bruynooghe,
Michael Codish:
Freeness Analysis in the Presence of Numerical Constraints.
ICLP 1993: 100-115 |
| 1991 |
|---|
| 2 | | Maurice Bruynooghe,
Veroniek Dumortier,
Gerda Janssens:
Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions.
PDK 1991: 309-317 |
| 1990 |
|---|
| 1 | | Veroniek Dumortier,
Maurice Bruynooghe:
On the Automatic Generation of Events in Delta Prolog.
PLILP 1990: 324-339 |
