Show simple item record

AuthorRaiser, Frankdc.contributor.author
AuthorBetz, Hariolfdc.contributor.author
AuthorFrühwirth, Thomdc.contributor.author
Date of accession2016-03-15T11:04:19Zdc.date.accessioned
Available in OPARU since2016-03-15T11:04:19Zdc.date.available
Year of creation2010dc.date.created
AbstractWe 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
Languageendc.language.iso
PublisherUniversität Ulmdc.publisher
LicenseStandard (Fassung vom 01.10.2008)dc.rights
Link to license texthttps://oparu.uni-ulm.de/xmlui/license_v2dc.rights.uri
KeywordCHRdc.subject
KeywordConstraint Handling Rulesdc.subject
Dewey Decimal GroupDDC 004 / Data processing & computer sciencedc.subject.ddc
LCSHConstraint programming (Computer science)dc.subject.lcsh
LCSHDeclarative programmingdc.subject.lcsh
LCSHLogic programmingdc.subject.lcsh
TitleA complete and terminating execution model for Constraint Handling Rulesdc.title
Resource typeBerichtdc.type
DOIhttp://dx.doi.org/10.18725/OPARU-3888dc.identifier.doi
PPN1648891845dc.identifier.ppn
URNhttp://nbn-resolving.de/urn:nbn:de:bsz:289-vts-71930dc.identifier.urn
GNDConstraint-Programmierungdc.subject.gnd
FacultyFakultät für Ingenieurwissenschaften und Informatikuulm.affiliationGeneral
Date of activation2010-01-28T17:35:20Zuulm.freischaltungVTS
Peer reviewneinuulm.peerReview
DCMI TypeTextuulm.typeDCMI
VTS-ID7193uulm.vtsID
CategoryPublikationenuulm.category
Ulm seriesUlmer Informatik-Berichteuulm.seriesUlmName


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record