A confluent semantic basis for the analysis of concurrent constraint logic programs

Michael Codish, Moreno Falaschi, Kim Marriott, William Winsborough

Research output: Contribution to journalArticlepeer-review

7 Scopus citations


The standard operational semantics of concurrent constraint logic languages is not confluent in the sense that different schedulings of processes may result in different program behaviors. While implementations are free to choose specific scheduling policies, analyses should be correct for all implementations. Moreover, in the presence of parallelism, it is usually not possible to determine how processes will actually be scheduled. Efficient program analysis is therefore difficult as all process schedulings must be considered. To overcome this problem, we introduce a confluent semantics which closely approximates the standard (nonconfluent) semantics. This semantics provides a basis for efficient and accurate program analysis for these languages. To illustrate the usefulness of this approach, we sketch analyses based on abstract interpretations of the confluent semantics which determine if a program is suspension- and local suspension-free.

Original languageEnglish
Pages (from-to)53-81
Number of pages29
JournalJournal of Logic Programming
Issue number1
StatePublished - 1 Jan 1997

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'A confluent semantic basis for the analysis of concurrent constraint logic programs'. Together they form a unique fingerprint.

Cite this