004 Datenverarbeitung; Informatik
Refine
Has Fulltext
- yes (18)
Year of publication
- 2010 (18) (remove)
Document Type
Language
- English (18)
Keywords
- Asynchrone Schaltung (1)
- Asynchronous circuit (1)
- CSC (1)
- Constraint Solving (1)
- Controller-Resynthese (1)
- Datenanalyse (1)
- Datenintegration (1)
- Deduction (1)
- Logic Programming (1)
- Logics (1)
Institute
- Extern (18) (remove)
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.