Recursive Modes for Precise Analysis of Logic Programs

Jichang Tan, I-Peng Lin. Recursive Modes for Precise Analysis of Logic Programs. In ILPS. pages 277-290, 1997.

@inproceedings{TanL97:1,
  title = {Recursive Modes for Precise Analysis of Logic Programs},
  author = {Jichang Tan and I-Peng Lin},
  year = {1997},
  tags = {program analysis, analysis, logic programming, logic},
  researchr = {https://researchr.org/publication/TanL97%3A1},
  cites = {0},
  citedby = {0},
  pages = {277-290},
  booktitle = {ILPS},
}