004 Datenverarbeitung; Informatik
Refine
Has Fulltext
- yes (36)
Document Type
- Article (20)
- Conference Proceeding (15)
- Postprint (1)
Language
- English (36) (remove)
Is part of the Bibliography
- no (36) (remove)
Keywords
- Diversity (2)
- AMNET (1)
- Adaptive hypermedia (1)
- Bachelor (1)
- CS Ed Research (1)
- CS at school (1)
- CS curriculum (1)
- Comparing programming environments (1)
- Constraint Solving (1)
- Course development (1)
Institute
- Extern (36) (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.