Zur Kurzanzeige

AutorRaiser, Frankdc.contributor.author
AutorBetz, Hariolfdc.contributor.author
AutorFrühwirth, Thomdc.contributor.author
Aufnahmedatum2016-03-15T11:04:19Zdc.date.accessioned
In OPARU verfügbar seit2016-03-15T11:04:19Zdc.date.available
Jahr der Erstellung2010dc.date.created
ZusammenfassungWe observe that the various formulations of the operational semantics of Constraint Handling Rules proposed over the years fall into a spectrum ranging from the analytical to the pragmatic. While existing analytical formulations facilitate program analysis and formal proofs of program properties, they cannot be implemented as is. We propose a novel operational semantics, which has a strong analytical foundation, while featuring a terminating execution model. We prove its soundness and completeness with respect to existing analytical formulations and we compare its expressivity to that of various other formulations.dc.description.abstract
Spracheendc.language.iso
Verbreitende StelleUniversität Ulmdc.publisher
LizenzStandard (Fassung vom 01.10.2008)dc.rights
Link zum Lizenztexthttps://oparu.uni-ulm.de/xmlui/license_v2dc.rights.uri
SchlagwortCHRdc.subject
SchlagwortConstraint Handling Rulesdc.subject
DDC-SachgruppeDDC 004 / Data processing & computer sciencedc.subject.ddc
LCSHConstraint programming (Computer science)dc.subject.lcsh
LCSHDeclarative programmingdc.subject.lcsh
LCSHLogic programmingdc.subject.lcsh
TitelA complete and terminating execution model for Constraint Handling Rulesdc.title
RessourcentypBerichtdc.type
DOIhttp://dx.doi.org/10.18725/OPARU-3888dc.identifier.doi
PPN318877589dc.identifier.ppn
URNhttp://nbn-resolving.de/urn:nbn:de:bsz:289-vts-71930dc.identifier.urn
GNDConstraint-Programmierungdc.subject.gnd
FakultätFakultät für Ingenieurwissenschaften und Informatikuulm.affiliationGeneral
Datum der Freischaltung2010-01-28T17:35:20Zuulm.freischaltungVTS
Peer-Reviewneinuulm.peerReview
DCMI MedientypTextuulm.typeDCMI
VTS-ID7193uulm.vtsID
KategoriePublikationenuulm.category
Ulmer SchriftenreiheUlmer Informatik-Berichteuulm.seriesUlmName


Dateien zu dieser Ressource

Thumbnail

Das Dokument erscheint in:

Zur Kurzanzeige