Eingang zum Volltext
Home | Suche | BrowsenURN: urn:nbn:de:kobv:517-opus-41547
URL: http://opus.kobv.de/ubp/volltexte/2010/4154/
Betz, Hariolf ; Raiser, Frank ; Frühwirth, Thom
Gesellschaft für Logische Programmierung e.V.
Persistent constraints in constraint handling rules
| pdf-Format: |
|
Kurzfassung auf Englisch
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.
| Collection | Universität Potsdam / Tagungen / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Constraint Handling Rules | |
| Institut: | Extern | |
| DDC-Sachgruppe: | Informatik | |
| Dokumentart: | c InProceedings (Aufsatz / Paper einer Konferenz etc.) | |
| Quelle: | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 155 - 166 | |
| Sprache: | Englisch | |
| Erstellungsjahr: | 2010 | |
| Publikationsdatum: | 04.03.2010 | |
| Lizenz: | Diese Nutzungsbedingung gilt nicht, wenn in den Metadaten eine modifizierende Lizenz genannt ist. Keine Nutzungslizenz vergeben - es gilt das deutsche Urheberrecht |
Home | Leitlinien | Impressum | Haftungsausschluss | Statistik | Universitätsverlag | Universitätsbibliothek
| Ihr Kontakt für Fragen und
Anregungen: Universitätsbibliothek Potsdam |
 
|