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

  • 2007. Aggregates in Constraint Handling Rules in LOGIC PROGRAMMING
  • 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 N17b256012a1540f7811dc21219e04f02
    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 Nab2c908d9aee4173b974eca6c943fad0
    11 schema:genre chapter
    12 schema:inLanguage en
    13 schema:isAccessibleForFree false
    14 schema:isPartOf N5dd771340a954a6db6811da703ab328a
    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 N35a327fbea5a4e5d82264a118ced1631
    18 N9900406136cb49619d6b40533a647850
    19 Ne88a5c10fcb1420c99f3c86987810086
    20 schema:publisher N4448a173c9be420ba02f0998fc5ea05e
    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 N8d003ae2076141fc8648205ef79e92e0
    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 N17b256012a1540f7811dc21219e04f02 rdf:first N7960512f277247dc972f0f511061564f
    31 rdf:rest Nd876a093be20407f9f59ef927bfbdc12
    32 N29cc6ebbe2ec4f75ba3a674e2bd19ee0 schema:familyName Gupta
    33 schema:givenName Gopal
    34 rdf:type schema:Person
    35 N35a327fbea5a4e5d82264a118ced1631 schema:name readcube_id
    36 schema:value 0e0c4f967c3a4c80be1cd82369a5302b854b5c615ac9bb37f5699a877edaa670
    37 rdf:type schema:PropertyValue
    38 N3b1670b061ac4a6194a3241ad424d4b1 rdf:first Nf898751646a64d108ffcdf5373a25ad8
    39 rdf:rest rdf:nil
    40 N4448a173c9be420ba02f0998fc5ea05e schema:location Cham
    41 schema:name Springer International Publishing
    42 rdf:type schema:Organisation
    43 N5dd771340a954a6db6811da703ab328a schema:isbn 978-3-319-14124-4
    44 978-3-319-14125-1
    45 schema:name Logic-Based Program Synthesis and Transformation
    46 rdf:type schema:Book
    47 N7960512f277247dc972f0f511061564f schema:affiliation https://www.grid.ac/institutes/grid.187323.c
    48 schema:familyName Fakhry
    49 schema:givenName Ghada
    50 rdf:type schema:Person
    51 N8d003ae2076141fc8648205ef79e92e0 schema:name Springer Nature - SN SciGraph project
    52 rdf:type schema:Organization
    53 N9900406136cb49619d6b40533a647850 schema:name doi
    54 schema:value 10.1007/978-3-319-14125-1_9
    55 rdf:type schema:PropertyValue
    56 Nab2c908d9aee4173b974eca6c943fad0 rdf:first N29cc6ebbe2ec4f75ba3a674e2bd19ee0
    57 rdf:rest N3b1670b061ac4a6194a3241ad424d4b1
    58 Nd802cbced01342209958e46ad221ca92 rdf:first sg:person.010445445574.13
    59 rdf:rest rdf:nil
    60 Nd876a093be20407f9f59ef927bfbdc12 rdf:first sg:person.014162614774.46
    61 rdf:rest Nd802cbced01342209958e46ad221ca92
    62 Ne88a5c10fcb1420c99f3c86987810086 schema:name dimensions_id
    63 schema:value pub.1002949678
    64 rdf:type schema:PropertyValue
    65 Nf898751646a64d108ffcdf5373a25ad8 schema:familyName Peña
    66 schema:givenName Ricardo
    67 rdf:type schema:Person
    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)


    ...