
handle: 11365/983735
Summary: 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 scheduling 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.
Concurrent constraint logic program, Logic, Confluent semantic, Semantics in the theory of computing, Parallelism, Program analysis, Abstract interpretation, Abstract interpretations; Concurrent constraint logic programs; Confluent semantics; Parallelism; Program analysis, Logic programming, 004, concurrent constraint logic languages
Concurrent constraint logic program, Logic, Confluent semantic, Semantics in the theory of computing, Parallelism, Program analysis, Abstract interpretation, Abstract interpretations; Concurrent constraint logic programs; Confluent semantics; Parallelism; Program analysis, Logic programming, 004, concurrent constraint logic languages
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 5 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
