CHRAnimation: An Animation Tool for Constraint Handling Rules View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2015

AUTHORS

Nada Sharaf , Slim Abdennadher , Thom Frühwirth

ABSTRACT

Visualization tools of different languages offer its users with a needed set of features allowing them to animate how programs of such languages work. Constraint Handling Rules (CHR) is currently used as a general purpose language. This results in having complex programs with CHR. Nevertheless, CHR is still lacking on visualization tools. With Constraint Handling Rules (CHR) being a high-level rule-based language, animating CHR programs through animation tools demonstrates the power of the language. Such tools are useful for beginners to the language as well as programmers of sophisticated algorithms. This paper continues upon the efforts made to have a generic visualization platform for CHR using source-to-source transformation. It also provides a new visualization feature that enables viewing all the possible solutions of a CHR program instead of the don’t care nondeterminism used in most CHR implementations. More... »

PAGES

92-110

References to SciGraph publications

  • 1995. The definition of Kernel Oz in CONSTRAINT PROGRAMMING: BASICS AND TRENDS
  • 1996. On confluence of Constraint Handling Rules in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING — CP96
  • 2004. The Refined Operational Semantics of Constraint Handling Rules in LOGIC PROGRAMMING
  • 1998. CHR∀: A flexible query language in FLEXIBLE QUERY ANSWERING SYSTEMS
  • 2002. Chapter 1 Algorithm Animation in SOFTWARE VISUALIZATION
  • 2014. Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 1995. Debugging constraint programs in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING — CP '95
  • Book

    TITLE

    Logic-Based Program Synthesis and Transformation

    ISBN

    978-3-319-17821-9
    978-3-319-17822-6

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-17822-6_6

    DOI

    http://dx.doi.org/10.1007/978-3-319-17822-6_6

    DIMENSIONS

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


    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/2004", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Linguistics", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/20", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Language, Communication and Culture", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "German University in Cairo", 
              "id": "https://www.grid.ac/institutes/grid.187323.c", 
              "name": [
                "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": [
                "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"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Ulm", 
              "id": "https://www.grid.ac/institutes/grid.6582.9", 
              "name": [
                "Ulm University, Ulm, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Fr\u00fchwirth", 
            "givenName": "Thom", 
            "id": "sg:person.013750414271.15", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013750414271.15"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1145/508791.508793", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000215360"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "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-319-14125-1_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002949678", 
              "https://doi.org/10.1007/978-3-319-14125-1_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/130956.130959", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008918875"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-61551-2_62", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024772408", 
              "https://doi.org/10.1007/3-540-61551-2_62"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-60299-2_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035053034", 
              "https://doi.org/10.1007/3-540-60299-2_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-59155-9_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037729301", 
              "https://doi.org/10.1007/3-540-59155-9_14"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/jvlc.2002.0237", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039248379"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/jvlc.2002.0237", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039248379"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-27775-0_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043968221", 
              "https://doi.org/10.1007/978-3-540-27775-0_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-27775-0_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043968221", 
              "https://doi.org/10.1007/978-3-540-27775-0_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45875-1_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044609858", 
              "https://doi.org/10.1007/3-540-45875-1_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0055987", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051691356", 
              "https://doi.org/10.1007/bfb0055987"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/wvl.1991.238857", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086312877"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9780511609886", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098740870"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2015", 
        "datePublishedReg": "2015-01-01", 
        "description": "Visualization tools of different languages offer its users with a needed set of features allowing them to animate how programs of such languages work. Constraint Handling Rules (CHR) is currently used as a general purpose language. This results in having complex programs with CHR. Nevertheless, CHR is still lacking on visualization tools. With Constraint Handling Rules (CHR) being a high-level rule-based language, animating CHR programs through animation tools demonstrates the power of the language. Such tools are useful for beginners to the language as well as programmers of sophisticated algorithms. This paper continues upon the efforts made to have a generic visualization platform for CHR using source-to-source transformation. It also provides a new visualization feature that enables viewing all the possible solutions of a CHR program instead of the don\u2019t care nondeterminism used in most CHR implementations.", 
        "editor": [
          {
            "familyName": "Proietti", 
            "givenName": "Maurizio", 
            "type": "Person"
          }, 
          {
            "familyName": "Seki", 
            "givenName": "Hirohisa", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-17822-6_6", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-319-17821-9", 
            "978-3-319-17822-6"
          ], 
          "name": "Logic-Based Program Synthesis and Transformation", 
          "type": "Book"
        }, 
        "name": "CHRAnimation: An Animation Tool for Constraint Handling Rules", 
        "pagination": "92-110", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-17822-6_6"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "99ce6a348e65683db562122ae1f4c45ea6ae5630b60979bde908085e5e94a613"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1032286406"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-17822-6_6", 
          "https://app.dimensions.ai/details/publication/pub.1032286406"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T22:56", 
        "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_8695_00000263.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-319-17822-6_6"
      }
    ]
     

    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-17822-6_6'

    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-17822-6_6'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-17822-6_6'

    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-17822-6_6'


     

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

    133 TRIPLES      23 PREDICATES      40 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-17822-6_6 schema:about anzsrc-for:20
    2 anzsrc-for:2004
    3 schema:author N2f32336a60ca469ba4cd038de87824f9
    4 schema:citation sg:pub.10.1007/3-540-45875-1_1
    5 sg:pub.10.1007/3-540-59155-9_14
    6 sg:pub.10.1007/3-540-60299-2_13
    7 sg:pub.10.1007/3-540-61551-2_62
    8 sg:pub.10.1007/978-3-319-14125-1_9
    9 sg:pub.10.1007/978-3-540-27775-0_7
    10 sg:pub.10.1007/bfb0055987
    11 https://doi.org/10.1006/jvlc.2002.0237
    12 https://doi.org/10.1016/s0743-1066(98)10005-5
    13 https://doi.org/10.1017/cbo9780511609886
    14 https://doi.org/10.1109/wvl.1991.238857
    15 https://doi.org/10.1145/130956.130959
    16 https://doi.org/10.1145/508791.508793
    17 schema:datePublished 2015
    18 schema:datePublishedReg 2015-01-01
    19 schema:description Visualization tools of different languages offer its users with a needed set of features allowing them to animate how programs of such languages work. Constraint Handling Rules (CHR) is currently used as a general purpose language. This results in having complex programs with CHR. Nevertheless, CHR is still lacking on visualization tools. With Constraint Handling Rules (CHR) being a high-level rule-based language, animating CHR programs through animation tools demonstrates the power of the language. Such tools are useful for beginners to the language as well as programmers of sophisticated algorithms. This paper continues upon the efforts made to have a generic visualization platform for CHR using source-to-source transformation. It also provides a new visualization feature that enables viewing all the possible solutions of a CHR program instead of the don’t care nondeterminism used in most CHR implementations.
    20 schema:editor Neda8dd50fd804788b4fa78ee2221c633
    21 schema:genre chapter
    22 schema:inLanguage en
    23 schema:isAccessibleForFree false
    24 schema:isPartOf N120f905734d44bb9bbb9fd875533e77b
    25 schema:name CHRAnimation: An Animation Tool for Constraint Handling Rules
    26 schema:pagination 92-110
    27 schema:productId Nb1f4c8112d304389891692d73fb7f354
    28 Ndd739a84467e4caeb07fe67b40a382e0
    29 Nf73d19ba1f244dd29d7172f04c348f2f
    30 schema:publisher N59509ec20fb34228aa421929da8af2a9
    31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032286406
    32 https://doi.org/10.1007/978-3-319-17822-6_6
    33 schema:sdDatePublished 2019-04-15T22:56
    34 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    35 schema:sdPublisher N33f7c82508194f9a8db09692ffa8af64
    36 schema:url http://link.springer.com/10.1007/978-3-319-17822-6_6
    37 sgo:license sg:explorer/license/
    38 sgo:sdDataset chapters
    39 rdf:type schema:Chapter
    40 N120f905734d44bb9bbb9fd875533e77b schema:isbn 978-3-319-17821-9
    41 978-3-319-17822-6
    42 schema:name Logic-Based Program Synthesis and Transformation
    43 rdf:type schema:Book
    44 N2dd1a5bf6b5a47ecbea8ee79bc47eebc schema:familyName Seki
    45 schema:givenName Hirohisa
    46 rdf:type schema:Person
    47 N2f32336a60ca469ba4cd038de87824f9 rdf:first sg:person.014162614774.46
    48 rdf:rest Nc0642ba26704465a88be79f05117059c
    49 N33f7c82508194f9a8db09692ffa8af64 schema:name Springer Nature - SN SciGraph project
    50 rdf:type schema:Organization
    51 N59509ec20fb34228aa421929da8af2a9 schema:location Cham
    52 schema:name Springer International Publishing
    53 rdf:type schema:Organisation
    54 Na3ec7575c13b4f138dcbc0e63e5dafa4 rdf:first sg:person.013750414271.15
    55 rdf:rest rdf:nil
    56 Nb1f4c8112d304389891692d73fb7f354 schema:name doi
    57 schema:value 10.1007/978-3-319-17822-6_6
    58 rdf:type schema:PropertyValue
    59 Nc0642ba26704465a88be79f05117059c rdf:first sg:person.010445445574.13
    60 rdf:rest Na3ec7575c13b4f138dcbc0e63e5dafa4
    61 Nda6871e55956448f966540e7f9b18b82 schema:familyName Proietti
    62 schema:givenName Maurizio
    63 rdf:type schema:Person
    64 Ndd739a84467e4caeb07fe67b40a382e0 schema:name dimensions_id
    65 schema:value pub.1032286406
    66 rdf:type schema:PropertyValue
    67 Ne60c0e1e184b4239bf37a08b0cd4d02e rdf:first N2dd1a5bf6b5a47ecbea8ee79bc47eebc
    68 rdf:rest rdf:nil
    69 Neda8dd50fd804788b4fa78ee2221c633 rdf:first Nda6871e55956448f966540e7f9b18b82
    70 rdf:rest Ne60c0e1e184b4239bf37a08b0cd4d02e
    71 Nf73d19ba1f244dd29d7172f04c348f2f schema:name readcube_id
    72 schema:value 99ce6a348e65683db562122ae1f4c45ea6ae5630b60979bde908085e5e94a613
    73 rdf:type schema:PropertyValue
    74 anzsrc-for:20 schema:inDefinedTermSet anzsrc-for:
    75 schema:name Language, Communication and Culture
    76 rdf:type schema:DefinedTerm
    77 anzsrc-for:2004 schema:inDefinedTermSet anzsrc-for:
    78 schema:name Linguistics
    79 rdf:type schema:DefinedTerm
    80 sg:person.010445445574.13 schema:affiliation https://www.grid.ac/institutes/grid.187323.c
    81 schema:familyName Abdennadher
    82 schema:givenName Slim
    83 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010445445574.13
    84 rdf:type schema:Person
    85 sg:person.013750414271.15 schema:affiliation https://www.grid.ac/institutes/grid.6582.9
    86 schema:familyName Frühwirth
    87 schema:givenName Thom
    88 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013750414271.15
    89 rdf:type schema:Person
    90 sg:person.014162614774.46 schema:affiliation https://www.grid.ac/institutes/grid.187323.c
    91 schema:familyName Sharaf
    92 schema:givenName Nada
    93 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014162614774.46
    94 rdf:type schema:Person
    95 sg:pub.10.1007/3-540-45875-1_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044609858
    96 https://doi.org/10.1007/3-540-45875-1_1
    97 rdf:type schema:CreativeWork
    98 sg:pub.10.1007/3-540-59155-9_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037729301
    99 https://doi.org/10.1007/3-540-59155-9_14
    100 rdf:type schema:CreativeWork
    101 sg:pub.10.1007/3-540-60299-2_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035053034
    102 https://doi.org/10.1007/3-540-60299-2_13
    103 rdf:type schema:CreativeWork
    104 sg:pub.10.1007/3-540-61551-2_62 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024772408
    105 https://doi.org/10.1007/3-540-61551-2_62
    106 rdf:type schema:CreativeWork
    107 sg:pub.10.1007/978-3-319-14125-1_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002949678
    108 https://doi.org/10.1007/978-3-319-14125-1_9
    109 rdf:type schema:CreativeWork
    110 sg:pub.10.1007/978-3-540-27775-0_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043968221
    111 https://doi.org/10.1007/978-3-540-27775-0_7
    112 rdf:type schema:CreativeWork
    113 sg:pub.10.1007/bfb0055987 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051691356
    114 https://doi.org/10.1007/bfb0055987
    115 rdf:type schema:CreativeWork
    116 https://doi.org/10.1006/jvlc.2002.0237 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039248379
    117 rdf:type schema:CreativeWork
    118 https://doi.org/10.1016/s0743-1066(98)10005-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000275719
    119 rdf:type schema:CreativeWork
    120 https://doi.org/10.1017/cbo9780511609886 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098740870
    121 rdf:type schema:CreativeWork
    122 https://doi.org/10.1109/wvl.1991.238857 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086312877
    123 rdf:type schema:CreativeWork
    124 https://doi.org/10.1145/130956.130959 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008918875
    125 rdf:type schema:CreativeWork
    126 https://doi.org/10.1145/508791.508793 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000215360
    127 rdf:type schema:CreativeWork
    128 https://www.grid.ac/institutes/grid.187323.c schema:alternateName German University in Cairo
    129 schema:name The German University in Cairo, Cairo, Egypt
    130 rdf:type schema:Organization
    131 https://www.grid.ac/institutes/grid.6582.9 schema:alternateName University of Ulm
    132 schema:name Ulm University, Ulm, Germany
    133 rdf:type schema:Organization
     




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


    ...