Filtern
Volltext vorhanden
- ja (1)
Erscheinungsjahr
- 2010 (1)
Dokumenttyp
Sprache
- Englisch (1)
Gehört zur Bibliographie
- nein (1)
Institut
- Extern (1)
In the most abstract definition of its operational semantics, the declarative and concurrent programming language CHR is trivially non-terminating for a significant class of programs. Common refinements of this definition, in closing the gap to real-world implementations, compromise on declarativity and/or concurrency. Building on recent work and the notion of persistent constraints, we introduce an operational semantics avoiding trivial non-termination without compromising on its essential features.