2004 | ||
---|---|---|
3 | EE | Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey: Herbrand Constraints in HAL. Program Development in Computational Logic 2004: 499-538 |
2002 | ||
2 | EE | David Overton, Zoltan Somogyi, Peter J. Stuckey: Constraint-based mode analysis of mercury. PPDP 2002: 109-120 |
1999 | ||
1 | Peter Ross, David Overton, Zoltan Somogyi: Making Mercury Programs Tail Recursive. LOPSTR 1999: 196-215 |
1 | Maria Garcia de la Banda (Maria J. García de la Banda) | [3] |
2 | Bart Demoen | [3] |
3 | Warwick Harvey | [3] |
4 | Kim Marriott | [3] |
5 | Peter Ross | [1] |
6 | Zoltan Somogyi | [1] [2] |
7 | Peter J. Stuckey | [2] [3] |