Andrew D. Kelly

According to our database, Andrew D. Kelly authored at least 5 papers between 1995 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Optimizing Compilation of CLP(R).

Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap

ACM Trans. Program. Lang. Syst., 1998

1996

Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs.

Andrew D. Kelly, Kim Marriott, Harald Søndergaard, Peter J. Stuckey

Proceedings of the Static Analysis, Third International Symposium, 1996

A Comparison of Three Occur-Check Analysers.

Lobel Crnogorac, Andrew D. Kelly, Harald Søndergaard

Proceedings of the Static Analysis, Third International Symposium, 1996

Effectiveness of Optimizing Compilation for CLP(R).

Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap

Proceedings of the Logic Programming, 1996

1995

An Optimizing Compiler for CLP(R).

Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap

Proceedings of the Principles and Practice of Constraint Programming, 1995