Efficient Computation of the Reduced Product of Groundness and Sharing Analyses

Lunjin Lu

Proceedings of the 2001 International Conference on Parallel and Distributed Processing Techniques and Applications, pages 1597-1603, Las Vegas, Nevada, USA. , June 25-28, 2001. Download (PostScript)



Bibtex Record

@inproceedings{LuPDPTA01,
author = {L. Lu},
title = {Efficient Computation of the Reduced Product of Groundness and Sharing Analyses},
url = {http://www.oakland.edu/~L2LU/pubs/pdpta01.ps},
keywords = {Groundness; Sharing; Logic Programs},
booktitle = {Proceedings of the 2001 International Conference on Parallel and Distributed Processing Techniques and Applications},
year = 2001,
pages = {1597-1603},
publisher = {CSREA}
}