Suspension Analyses for Concurrent Logic Programs

  title={Suspension Analyses for Concurrent Logic Programs},
  author={Michael Codish and Moreno Falaschi and Kim Marriott},
  journal={ACM Trans. Program. Lang. Syst.},
Concurrent logic languages specify reactive systems which consist of collections of communicating processes. The presence of unintended suspended computations is a common programming error which is difficult to detect using standard debugging and testing techniques. We develop a number of analyses, based on abstract interpretation, which succeed if a program is definitely suspension free. If an analysis fails, the program may, or may not, be suspension free. Examples demonstrate that the… CONTINUE READING


Publications referenced by this paper.
Showing 1-7 of 7 references

Uni cation revisited

  • J.-L. Lassez, M. J. Maher, K. Marriott
  • In J. Minker, editor, Foundations of Deductive…
  • 1988
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…