1996 | ||
---|---|---|
3 | 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 | ||
2 | Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe: On the Practicality of Abstract Equation Systems. ICLP 1995: 781-795 | |
1994 | ||
1 | Gerda Janssens, Wim Simoens: On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. CC 1994: 172-187 |
1 | Maria Garcia de la Banda (Maria J. García de la Banda) | [3] |
2 | Maurice Bruynooghe | [2] [3] |
3 | Veroniek Dumortier | [3] |
4 | Manuel V. Hermenegildo | [3] |
5 | Gerda Janssens | [1] [2] [3] |
6 | Anne Mulkers | [2] |