Abstract
We develop a novel dataflow analysis for the detection of ``possible'' suspension of concurrent logic programs. The analysis is conceptually simple and easy to justify because it is based directly on the transition system semantics of concurrent logic programs. A naive analysis must consider all scheduling policies. However, we prove that for our analysis it suffices to consider only one scheduling policy. This allows for efficient implementation. The analysis is demonstrated for the concurrent logic language FCP(:) and shown to provide promising results.
Original language | English |
---|---|
Pages | 331-345 |
Number of pages | 15 |
State | Published - 1 Dec 1991 |
Externally published | Yes |
Event | Logic Programming - Proceedings of the 8th International Conference - Paris, Fr Duration: 24 Jun 1991 → 28 Jun 1991 |
Conference
Conference | Logic Programming - Proceedings of the 8th International Conference |
---|---|
City | Paris, Fr |
Period | 24/06/91 → 28/06/91 |
ASJC Scopus subject areas
- General Engineering