A Mode Analysis of Logic Program by Abstract Interpretation

Lunjin Lu

Lecture Notes in Computer Science , 1181:362-373. Download (PostScript)



Bibtex Record

@article {LuPSI96,
author = {L. Lu},
title = {A Mode Analysis of Logic Program by Abstract Interpretation},
year = 1996,
pages = {362-373},
journal = {Lecture Notes in Computer Science},
volume =1181,
keywords = {Mode and Sharing and Alias and Logic Programming},
url = {http://www.oakland.edu/~l2lu/pubs/Mode.ps}
}