A Regular Type Analysis of Logic Programs

Lunjin Lu and John G. Cleary

Bibtex Record

@inproceedings{LuICLP99,
author={Lunjin Lu and John G. Cleary},
title= {A Regular Type Analysis of Logic Programs},
booktitle ={Proceedings of the 1999 International Conference on Logic Programming},
publisher ={The MIT Press},
year={1999},
keywords = {abstract interpretation and type analysis and tabling},
url = {http://www.oakland.edu/~l2lu/pubs/RegType.ps}
}