1998 |
5 | EE | Andrew D. Kelly,
Kim Marriott,
Andrew D. Macdonald,
Peter J. Stuckey,
Roland H. C. Yap:
Optimizing Compilation of CLP(R).
ACM Trans. Program. Lang. Syst. 20(6): 1223-1250 (1998) |
1996 |
4 | | Andrew D. Kelly,
Andrew D. Macdonald,
Kim Marriott,
Peter J. Stuckey,
Roland H. C. Yap:
Effectiveness of Optimizing Compilation for CLP(R).
JICSLP 1996: 37-51 |
3 | | Lobel Crnogorac,
Andrew D. Kelly,
Harald Søndergaard:
A Comparison of Three Occur-Check Analysers.
SAS 1996: 159-173 |
2 | | Andrew D. Kelly,
Kim Marriott,
Harald Søndergaard,
Peter J. Stuckey:
Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs.
SAS 1996: 385-386 |
1995 |
1 | | Andrew D. Kelly,
Andrew D. Macdonald,
Kim Marriott,
Harald Søndergaard,
Peter J. Stuckey,
Roland H. C. Yap:
An Optimizing Compiler for CLP(R).
CP 1995: 222-239 |