Determinacy Analysis for Logic Programs Using Mode and Type Information

Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo. Determinacy Analysis for Logic Programs Using Mode and Type Information. In Sandro Etalle, editor, Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers. Volume 3573 of Lecture Notes in Computer Science, pages 19-35, Springer, 2004. [doi]

@inproceedings{Lopez-GarciaBH04,
  title = {Determinacy Analysis for Logic Programs Using Mode and Type Information},
  author = {Pedro López-García and Francisco Bueno and Manuel V. Hermenegildo},
  year = {2004},
  doi = {10.1007/11506676_2},
  url = {http://dx.doi.org/10.1007/11506676_2},
  tags = {program analysis, analysis, logic programming, logic},
  researchr = {https://researchr.org/publication/Lopez-GarciaBH04},
  cites = {0},
  citedby = {0},
  pages = {19-35},
  booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers},
  editor = {Sandro Etalle},
  volume = {3573},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26655-0},
}