The Refined Operational Semantics of Constraint Handling Rules View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2004

AUTHORS

Gregory J. Duck , Peter J. Stuckey , María García de la Banda , Christian Holzbaur

ABSTRACT

Constraint Handling Rules (CHRs) are a high-level rule-based programming language commonly used to write constraint solvers. The theoretical operational semantics for CHRs is highly non-deterministic and relies on writing confluent programs to have a meaningful behaviour. Implementations of CHRs use an operational semantics which is considerably finer than the theoretical operational semantics, but is still non-deterministic (from the user’s perspective). This paper formally defines this refined operational semantics and proves it implements the theoretical operational semantics. It also shows how to create a (partial) confluence checker capable of detecting programs which are confluent under this semantics, but not under the theoretical operational semantics. This supports the use of new idioms in CHR programs. More... »

PAGES

90-104

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-27775-0_7

DOI

http://dx.doi.org/10.1007/978-3-540-27775-0_7

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1043968221


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic., Australia", 
          "id": "http://www.grid.ac/institutes/grid.1008.9", 
          "name": [
            "Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic., Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Duck", 
        "givenName": "Gregory J.", 
        "id": "sg:person.014415213001.27", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014415213001.27"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic., Australia", 
          "id": "http://www.grid.ac/institutes/grid.1008.9", 
          "name": [
            "Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic., Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Stuckey", 
        "givenName": "Peter J.", 
        "id": "sg:person.012243374043.93", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012243374043.93"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "School of Computer Science and Software Engineering, Monash University, 3800, Vic., Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "School of Computer Science and Software Engineering, Monash University, 3800, Vic., Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "de la Banda", 
        "givenName": "Mar\u00eda Garc\u00eda", 
        "id": "sg:person.016350443307.93", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Holzbaur", 
        "givenName": "Christian", 
        "id": "sg:person.015052747435.75", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015052747435.75"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2004", 
    "datePublishedReg": "2004-01-01", 
    "description": "Constraint Handling Rules (CHRs) are a high-level rule-based programming language commonly used to write constraint solvers. The theoretical operational semantics for CHRs is highly non-deterministic and relies on writing confluent programs to have a meaningful behaviour. Implementations of CHRs use an operational semantics which is considerably finer than the theoretical operational semantics, but is still non-deterministic (from the user\u2019s perspective). This paper formally defines this refined operational semantics and proves it implements the theoretical operational semantics. It also shows how to create a (partial) confluence checker capable of detecting programs which are confluent under this semantics, but not under the theoretical operational semantics. This supports the use of new idioms in CHR programs.", 
    "editor": [
      {
        "familyName": "Demoen", 
        "givenName": "Bart", 
        "type": "Person"
      }, 
      {
        "familyName": "Lifschitz", 
        "givenName": "Vladimir", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-27775-0_7", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-22671-0", 
        "978-3-540-27775-0"
      ], 
      "name": "Logic Programming", 
      "type": "Book"
    }, 
    "keywords": [
      "theoretical operational semantics", 
      "Constraint Handling Rules", 
      "operational semantics", 
      "refined operational semantics", 
      "high-level rule-based programming language", 
      "Handling Rules", 
      "rule-based programming language", 
      "programming language", 
      "constraint solver", 
      "CHR programs", 
      "semantics", 
      "meaningful behavior", 
      "checker", 
      "rules", 
      "implementation", 
      "language", 
      "solver", 
      "program", 
      "new idioms", 
      "idioms", 
      "use", 
      "behavior", 
      "paper", 
      "confluent programs", 
      "Implementations of CHRs", 
      "confluence checker"
    ], 
    "name": "The Refined Operational Semantics of Constraint Handling Rules", 
    "pagination": "90-104", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1043968221"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-27775-0_7"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-27775-0_7", 
      "https://app.dimensions.ai/details/publication/pub.1043968221"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-01-01T19:15", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/chapter/chapter_26.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-27775-0_7"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-27775-0_7'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-27775-0_7'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-27775-0_7'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-27775-0_7'


 

This table displays all metadata directly associated to this object as RDF triples.

114 TRIPLES      23 PREDICATES      52 URIs      45 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-27775-0_7 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N91b947d861b74228bbe4f9d1a826d002
4 schema:datePublished 2004
5 schema:datePublishedReg 2004-01-01
6 schema:description Constraint Handling Rules (CHRs) are a high-level rule-based programming language commonly used to write constraint solvers. The theoretical operational semantics for CHRs is highly non-deterministic and relies on writing confluent programs to have a meaningful behaviour. Implementations of CHRs use an operational semantics which is considerably finer than the theoretical operational semantics, but is still non-deterministic (from the user’s perspective). This paper formally defines this refined operational semantics and proves it implements the theoretical operational semantics. It also shows how to create a (partial) confluence checker capable of detecting programs which are confluent under this semantics, but not under the theoretical operational semantics. This supports the use of new idioms in CHR programs.
7 schema:editor Nf6f17edcccee483da74ad0292f0c5ca9
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N13e1cc901b4a4ac7b4f35257315cb92b
12 schema:keywords CHR programs
13 Constraint Handling Rules
14 Handling Rules
15 Implementations of CHRs
16 behavior
17 checker
18 confluence checker
19 confluent programs
20 constraint solver
21 high-level rule-based programming language
22 idioms
23 implementation
24 language
25 meaningful behavior
26 new idioms
27 operational semantics
28 paper
29 program
30 programming language
31 refined operational semantics
32 rule-based programming language
33 rules
34 semantics
35 solver
36 theoretical operational semantics
37 use
38 schema:name The Refined Operational Semantics of Constraint Handling Rules
39 schema:pagination 90-104
40 schema:productId N128d04ce6eda44189ec39ad80a4c9cf3
41 N51ffdb178bb746129f06a3d16bc6102e
42 schema:publisher N455b128092734d1880843c6000910da0
43 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043968221
44 https://doi.org/10.1007/978-3-540-27775-0_7
45 schema:sdDatePublished 2022-01-01T19:15
46 schema:sdLicense https://scigraph.springernature.com/explorer/license/
47 schema:sdPublisher N185d14d134f94d478244b58456888a41
48 schema:url https://doi.org/10.1007/978-3-540-27775-0_7
49 sgo:license sg:explorer/license/
50 sgo:sdDataset chapters
51 rdf:type schema:Chapter
52 N128d04ce6eda44189ec39ad80a4c9cf3 schema:name dimensions_id
53 schema:value pub.1043968221
54 rdf:type schema:PropertyValue
55 N13e1cc901b4a4ac7b4f35257315cb92b schema:isbn 978-3-540-22671-0
56 978-3-540-27775-0
57 schema:name Logic Programming
58 rdf:type schema:Book
59 N15acfc48548a49e19b4a6158d638aa64 schema:familyName Lifschitz
60 schema:givenName Vladimir
61 rdf:type schema:Person
62 N185d14d134f94d478244b58456888a41 schema:name Springer Nature - SN SciGraph project
63 rdf:type schema:Organization
64 N2836575360a243e58f6c94ea1b6fdb7b rdf:first sg:person.012243374043.93
65 rdf:rest N71755eefecae461caf4ff83461718351
66 N407b9c1ad493499db2a415a9d545f4ff schema:familyName Demoen
67 schema:givenName Bart
68 rdf:type schema:Person
69 N455b128092734d1880843c6000910da0 schema:name Springer Nature
70 rdf:type schema:Organisation
71 N51ffdb178bb746129f06a3d16bc6102e schema:name doi
72 schema:value 10.1007/978-3-540-27775-0_7
73 rdf:type schema:PropertyValue
74 N71755eefecae461caf4ff83461718351 rdf:first sg:person.016350443307.93
75 rdf:rest Nea1ad92a51d046b59ea66beb920848d3
76 N91b947d861b74228bbe4f9d1a826d002 rdf:first sg:person.014415213001.27
77 rdf:rest N2836575360a243e58f6c94ea1b6fdb7b
78 Nd3b4d6e1f6044742bf7b9859123ed2b2 rdf:first N15acfc48548a49e19b4a6158d638aa64
79 rdf:rest rdf:nil
80 Nea1ad92a51d046b59ea66beb920848d3 rdf:first sg:person.015052747435.75
81 rdf:rest rdf:nil
82 Nf6f17edcccee483da74ad0292f0c5ca9 rdf:first N407b9c1ad493499db2a415a9d545f4ff
83 rdf:rest Nd3b4d6e1f6044742bf7b9859123ed2b2
84 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
85 schema:name Information and Computing Sciences
86 rdf:type schema:DefinedTerm
87 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
88 schema:name Artificial Intelligence and Image Processing
89 rdf:type schema:DefinedTerm
90 sg:person.012243374043.93 schema:affiliation grid-institutes:grid.1008.9
91 schema:familyName Stuckey
92 schema:givenName Peter J.
93 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012243374043.93
94 rdf:type schema:Person
95 sg:person.014415213001.27 schema:affiliation grid-institutes:grid.1008.9
96 schema:familyName Duck
97 schema:givenName Gregory J.
98 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014415213001.27
99 rdf:type schema:Person
100 sg:person.015052747435.75 schema:familyName Holzbaur
101 schema:givenName Christian
102 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015052747435.75
103 rdf:type schema:Person
104 sg:person.016350443307.93 schema:affiliation grid-institutes:grid.1002.3
105 schema:familyName de la Banda
106 schema:givenName María García
107 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93
108 rdf:type schema:Person
109 grid-institutes:grid.1002.3 schema:alternateName School of Computer Science and Software Engineering, Monash University, 3800, Vic., Australia
110 schema:name School of Computer Science and Software Engineering, Monash University, 3800, Vic., Australia
111 rdf:type schema:Organization
112 grid-institutes:grid.1008.9 schema:alternateName Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic., Australia
113 schema:name Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic., Australia
114 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...