Linearity Analysis of Concurrent Logic Programs

Kazunori Ueda. Linearity Analysis of Concurrent Logic Programs. Theoretical Computer Science, 30(2):188, 1999. [doi]

@article{Ueda99:0,
  title = {Linearity Analysis of Concurrent Logic Programs},
  author = {Kazunori Ueda},
  year = {1999},
  url = {http://www.elsevier.nl/locate/entcs/volume30.html},
  tags = {program analysis, analysis, logic programming, logic},
  researchr = {https://researchr.org/publication/Ueda99%3A0},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {30},
  number = {2},
  pages = {188},
}