Suspension Analyses for Concurrent Logic Programs

@article{Codish1991SuspensionAF,
  title={Suspension Analyses for Concurrent Logic Programs},
  author={Michael Codish and Moreno Falaschi and Kim Marriott},
  journal={ACM Trans. Program. Lang. Syst.},
  year={1991},
  volume={16},
  pages={649-686}
}
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

References

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…