Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2014

AUTHORS

Ghada Fakhry , Nada Sharaf , Slim Abdennadher

ABSTRACT

Constraint Handling Rules (CHR) is a high-level committed-choice language based on multi-headed and guarded rules. Over the past decades, several extensions to CHR and variants of operational semantics were introduced. In this paper, we present a generic approach to simulate the execution of a set of different CHR operational semantics. The proposed approach uses source-to-source transformation to convert programs written under different CHR operational semantics into equivalent programs in the CHR refined operational semantics without the need to change the compiler or the runtime system. More... »

PAGES

145-163

References to SciGraph publications

Book

TITLE

Logic-Based Program Synthesis and Transformation

ISBN

978-3-319-14124-4
978-3-319-14125-1

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-14125-1_9

DOI

http://dx.doi.org/10.1007/978-3-319-14125-1_9

DIMENSIONS

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


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/1701", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Psychology", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/17", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Psychology and Cognitive Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "German University in Cairo", 
          "id": "https://www.grid.ac/institutes/grid.187323.c", 
          "name": [
            "Computer Science and Engineering Department, The German University in Cairo, Cairo, Egypt"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Fakhry", 
        "givenName": "Ghada", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "German University in Cairo", 
          "id": "https://www.grid.ac/institutes/grid.187323.c", 
          "name": [
            "Computer Science and Engineering Department, The German University in Cairo, Cairo, Egypt"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Sharaf", 
        "givenName": "Nada", 
        "id": "sg:person.014162614774.46", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014162614774.46"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "German University in Cairo", 
          "id": "https://www.grid.ac/institutes/grid.187323.c", 
          "name": [
            "Computer Science and Engineering Department, The German University in Cairo, Cairo, Egypt"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Abdennadher", 
        "givenName": "Slim", 
        "id": "sg:person.010445445574.13", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010445445574.13"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/s0743-1066(98)10005-5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1000275719"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-74610-2_39", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1001050971", 
          "https://doi.org/10.1007/978-3-540-74610-2_39"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-74610-2_39", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1001050971", 
          "https://doi.org/10.1007/978-3-540-74610-2_39"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/s1471068409990123", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1053825025"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2014", 
    "datePublishedReg": "2014-01-01", 
    "description": "Constraint Handling Rules (CHR) is a high-level committed-choice language based on multi-headed and guarded rules. Over the past decades, several extensions to CHR and variants of operational semantics were introduced. In this paper, we present a generic approach to simulate the execution of a set of different CHR operational semantics. The proposed approach uses source-to-source transformation to convert programs written under different CHR operational semantics into equivalent programs in the CHR refined operational semantics without the need to change the compiler or the runtime system.", 
    "editor": [
      {
        "familyName": "Gupta", 
        "givenName": "Gopal", 
        "type": "Person"
      }, 
      {
        "familyName": "Pe\u00f1a", 
        "givenName": "Ricardo", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-14125-1_9", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-14124-4", 
        "978-3-319-14125-1"
      ], 
      "name": "Logic-Based Program Synthesis and Transformation", 
      "type": "Book"
    }, 
    "name": "Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics", 
    "pagination": "145-163", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-14125-1_9"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "0e0c4f967c3a4c80be1cd82369a5302b854b5c615ac9bb37f5699a877edaa670"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1002949678"
        ]
      }
    ], 
    "publisher": {
      "location": "Cham", 
      "name": "Springer International Publishing", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-14125-1_9", 
      "https://app.dimensions.ai/details/publication/pub.1002949678"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T10:16", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8659_00000005.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-3-319-14125-1_9"
  }
]
 

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-319-14125-1_9'

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-319-14125-1_9'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-14125-1_9'

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-319-14125-1_9'


 

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

93 TRIPLES      23 PREDICATES      30 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-14125-1_9 schema:about anzsrc-for:17
2 anzsrc-for:1701
3 schema:author N1414191e4d294f22a7f6fa98d11764d0
4 schema:citation sg:pub.10.1007/978-3-540-74610-2_39
5 https://doi.org/10.1016/s0743-1066(98)10005-5
6 https://doi.org/10.1017/s1471068409990123
7 schema:datePublished 2014
8 schema:datePublishedReg 2014-01-01
9 schema:description Constraint Handling Rules (CHR) is a high-level committed-choice language based on multi-headed and guarded rules. Over the past decades, several extensions to CHR and variants of operational semantics were introduced. In this paper, we present a generic approach to simulate the execution of a set of different CHR operational semantics. The proposed approach uses source-to-source transformation to convert programs written under different CHR operational semantics into equivalent programs in the CHR refined operational semantics without the need to change the compiler or the runtime system.
10 schema:editor Nb0217588e89541ad843e0d81adfe01ee
11 schema:genre chapter
12 schema:inLanguage en
13 schema:isAccessibleForFree false
14 schema:isPartOf N498c60cf32374618919f6f3f8ec6db9e
15 schema:name Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics
16 schema:pagination 145-163
17 schema:productId N0be01540d2614892a8d4a499a961278c
18 N38bfa00d07b640e3b6defabe4ab00e48
19 Nb9ed53ae5d474d3ca95e44ef51930470
20 schema:publisher N1148d35a75594db9bb73e2863c00a7c5
21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002949678
22 https://doi.org/10.1007/978-3-319-14125-1_9
23 schema:sdDatePublished 2019-04-15T10:16
24 schema:sdLicense https://scigraph.springernature.com/explorer/license/
25 schema:sdPublisher Na09f652edfd543e6bf42791b45d34a1f
26 schema:url http://link.springer.com/10.1007/978-3-319-14125-1_9
27 sgo:license sg:explorer/license/
28 sgo:sdDataset chapters
29 rdf:type schema:Chapter
30 N0be01540d2614892a8d4a499a961278c schema:name dimensions_id
31 schema:value pub.1002949678
32 rdf:type schema:PropertyValue
33 N1148d35a75594db9bb73e2863c00a7c5 schema:location Cham
34 schema:name Springer International Publishing
35 rdf:type schema:Organisation
36 N1414191e4d294f22a7f6fa98d11764d0 rdf:first N38f5a24fa5cb4ddf88838bd646048dda
37 rdf:rest Nc47a19505df24841b869175e04ba300a
38 N1c828cfa5dd7430c833b8dee20ea1263 schema:familyName Peña
39 schema:givenName Ricardo
40 rdf:type schema:Person
41 N38bfa00d07b640e3b6defabe4ab00e48 schema:name doi
42 schema:value 10.1007/978-3-319-14125-1_9
43 rdf:type schema:PropertyValue
44 N38f5a24fa5cb4ddf88838bd646048dda schema:affiliation https://www.grid.ac/institutes/grid.187323.c
45 schema:familyName Fakhry
46 schema:givenName Ghada
47 rdf:type schema:Person
48 N498c60cf32374618919f6f3f8ec6db9e schema:isbn 978-3-319-14124-4
49 978-3-319-14125-1
50 schema:name Logic-Based Program Synthesis and Transformation
51 rdf:type schema:Book
52 N7ab37b60325e412789c639f1509b1942 rdf:first sg:person.010445445574.13
53 rdf:rest rdf:nil
54 N921bc0b728ed43859943fb2f49e9c3b5 rdf:first N1c828cfa5dd7430c833b8dee20ea1263
55 rdf:rest rdf:nil
56 N9f292d7c88c749b8b89b5fb588f26070 schema:familyName Gupta
57 schema:givenName Gopal
58 rdf:type schema:Person
59 Na09f652edfd543e6bf42791b45d34a1f schema:name Springer Nature - SN SciGraph project
60 rdf:type schema:Organization
61 Nb0217588e89541ad843e0d81adfe01ee rdf:first N9f292d7c88c749b8b89b5fb588f26070
62 rdf:rest N921bc0b728ed43859943fb2f49e9c3b5
63 Nb9ed53ae5d474d3ca95e44ef51930470 schema:name readcube_id
64 schema:value 0e0c4f967c3a4c80be1cd82369a5302b854b5c615ac9bb37f5699a877edaa670
65 rdf:type schema:PropertyValue
66 Nc47a19505df24841b869175e04ba300a rdf:first sg:person.014162614774.46
67 rdf:rest N7ab37b60325e412789c639f1509b1942
68 anzsrc-for:17 schema:inDefinedTermSet anzsrc-for:
69 schema:name Psychology and Cognitive Sciences
70 rdf:type schema:DefinedTerm
71 anzsrc-for:1701 schema:inDefinedTermSet anzsrc-for:
72 schema:name Psychology
73 rdf:type schema:DefinedTerm
74 sg:person.010445445574.13 schema:affiliation https://www.grid.ac/institutes/grid.187323.c
75 schema:familyName Abdennadher
76 schema:givenName Slim
77 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010445445574.13
78 rdf:type schema:Person
79 sg:person.014162614774.46 schema:affiliation https://www.grid.ac/institutes/grid.187323.c
80 schema:familyName Sharaf
81 schema:givenName Nada
82 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014162614774.46
83 rdf:type schema:Person
84 sg:pub.10.1007/978-3-540-74610-2_39 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001050971
85 https://doi.org/10.1007/978-3-540-74610-2_39
86 rdf:type schema:CreativeWork
87 https://doi.org/10.1016/s0743-1066(98)10005-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000275719
88 rdf:type schema:CreativeWork
89 https://doi.org/10.1017/s1471068409990123 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053825025
90 rdf:type schema:CreativeWork
91 https://www.grid.ac/institutes/grid.187323.c schema:alternateName German University in Cairo
92 schema:name Computer Science and Engineering Department, The German University in Cairo, Cairo, Egypt
93 rdf:type schema:Organization
 




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


...