Unfold/fold transformations of CCP programs View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

1998

AUTHORS

Sandro Etalle , Maurizio Gabbrielli , Maria Chiara Meo

ABSTRACT

We introduce a transformation system for concurrent constraint programming (CCP). We define suitable applicability conditions for the transformations which guarantee that the input/output ccp semantics is preserved also when distinguishing deadlocked computations from successful ones. The systems allows to optimize CCP programs while preserving their intended meaning. Furthermore, since it preserves the deadlock behaviour of programs, it can be used for proving deadlock freeness of a class of queries in a given program. More... »

PAGES

348-363

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/bfb0055633

DOI

http://dx.doi.org/10.1007/bfb0055633

DIMENSIONS

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


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/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Universiteit Maastricht, P.O. Box 616, 6200, MD Maastricht, The Netherlands", 
          "id": "http://www.grid.ac/institutes/grid.5012.6", 
          "name": [
            "Universiteit Maastricht, P.O. Box 616, 6200, MD Maastricht, The Netherlands"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Etalle", 
        "givenName": "Sandro", 
        "id": "sg:person.014005213273.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014005213273.83"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Dipartimento di Informatica, Universit\u00e0 di Pisa, Corso Italia 40, 56125, Pisa, Italy", 
          "id": "http://www.grid.ac/institutes/grid.5395.a", 
          "name": [
            "Dipartimento di Informatica, Universit\u00e0 di Pisa, Corso Italia 40, 56125, Pisa, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Gabbrielli", 
        "givenName": "Maurizio", 
        "id": "sg:person.015334666002.47", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015334666002.47"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Diaprtimento di Matematica Pura e Applicata, Universit\u00e0 di L'Aquila, Loc. Coppito, 67010, L'Aquila, Italy", 
          "id": "http://www.grid.ac/institutes/grid.158820.6", 
          "name": [
            "Diaprtimento di Matematica Pura e Applicata, Universit\u00e0 di L'Aquila, Loc. Coppito, 67010, L'Aquila, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Meo", 
        "givenName": "Maria Chiara", 
        "id": "sg:person.010516504205.98", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010516504205.98"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1998", 
    "datePublishedReg": "1998-01-01", 
    "description": "We introduce a transformation system for concurrent constraint programming (CCP). We define suitable applicability conditions for the transformations which guarantee that the input/output ccp semantics is preserved also when distinguishing deadlocked computations from successful ones. The systems allows to optimize CCP programs while preserving their intended meaning. Furthermore, since it preserves the deadlock behaviour of programs, it can be used for proving deadlock freeness of a class of queries in a given program.", 
    "editor": [
      {
        "familyName": "Sangiorgi", 
        "givenName": "Davide", 
        "type": "Person"
      }, 
      {
        "familyName": "de Simone", 
        "givenName": "Robert", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/bfb0055633", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-64896-3", 
        "978-3-540-68455-8"
      ], 
      "name": "CONCUR'98 Concurrency Theory", 
      "type": "Book"
    }, 
    "keywords": [
      "concurrent constraint programming", 
      "CCP programs", 
      "class of queries", 
      "constraint programming", 
      "deadlock freeness", 
      "deadlock behaviour", 
      "queries", 
      "semantics", 
      "transformation system", 
      "applicability conditions", 
      "programming", 
      "computation", 
      "successful ones", 
      "system", 
      "program", 
      "freeness", 
      "transformation", 
      "class", 
      "one", 
      "meaning", 
      "behavior", 
      "conditions", 
      "suitable applicability conditions", 
      "input/output ccp semantics", 
      "output ccp semantics", 
      "ccp semantics", 
      "deadlocked computations"
    ], 
    "name": "Unfold/fold transformations of CCP programs", 
    "pagination": "348-363", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1046297034"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bfb0055633"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/bfb0055633", 
      "https://app.dimensions.ai/details/publication/pub.1046297034"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-11-01T18:47", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/chapter/chapter_139.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/bfb0055633"
  }
]
 

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/bfb0055633'

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/bfb0055633'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bfb0055633'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bfb0055633'


 

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

112 TRIPLES      23 PREDICATES      53 URIs      46 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bfb0055633 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author Nd6c0319d1b934ca9a7e155d112cf93a1
4 schema:datePublished 1998
5 schema:datePublishedReg 1998-01-01
6 schema:description We introduce a transformation system for concurrent constraint programming (CCP). We define suitable applicability conditions for the transformations which guarantee that the input/output ccp semantics is preserved also when distinguishing deadlocked computations from successful ones. The systems allows to optimize CCP programs while preserving their intended meaning. Furthermore, since it preserves the deadlock behaviour of programs, it can be used for proving deadlock freeness of a class of queries in a given program.
7 schema:editor N40476857046b4bd2b9b6e465c85481d6
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N47614df6ba3949318555b478b0f05c9d
12 schema:keywords CCP programs
13 applicability conditions
14 behavior
15 ccp semantics
16 class
17 class of queries
18 computation
19 concurrent constraint programming
20 conditions
21 constraint programming
22 deadlock behaviour
23 deadlock freeness
24 deadlocked computations
25 freeness
26 input/output ccp semantics
27 meaning
28 one
29 output ccp semantics
30 program
31 programming
32 queries
33 semantics
34 successful ones
35 suitable applicability conditions
36 system
37 transformation
38 transformation system
39 schema:name Unfold/fold transformations of CCP programs
40 schema:pagination 348-363
41 schema:productId Nd996d9a10d3c4c9788326d299931f9e2
42 Nfa6bc29ef6404e0795bedec888660650
43 schema:publisher N91c50681cb35471a8f369ec3287e2833
44 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046297034
45 https://doi.org/10.1007/bfb0055633
46 schema:sdDatePublished 2021-11-01T18:47
47 schema:sdLicense https://scigraph.springernature.com/explorer/license/
48 schema:sdPublisher N7aa3684dcdce4893bc8b438b3213cfef
49 schema:url https://doi.org/10.1007/bfb0055633
50 sgo:license sg:explorer/license/
51 sgo:sdDataset chapters
52 rdf:type schema:Chapter
53 N0d7c0fa2960345d0bb8b9d6e8a84ad4a schema:familyName Sangiorgi
54 schema:givenName Davide
55 rdf:type schema:Person
56 N19087698115d4e80bb1ff05052ccc5bf schema:familyName de Simone
57 schema:givenName Robert
58 rdf:type schema:Person
59 N40476857046b4bd2b9b6e465c85481d6 rdf:first N0d7c0fa2960345d0bb8b9d6e8a84ad4a
60 rdf:rest Nc632965c8b014651a7784c4750699799
61 N47614df6ba3949318555b478b0f05c9d schema:isbn 978-3-540-64896-3
62 978-3-540-68455-8
63 schema:name CONCUR'98 Concurrency Theory
64 rdf:type schema:Book
65 N7aa3684dcdce4893bc8b438b3213cfef schema:name Springer Nature - SN SciGraph project
66 rdf:type schema:Organization
67 N90f2c0fe3f8549329723fd01ebb0b8a0 rdf:first sg:person.015334666002.47
68 rdf:rest Ne89fac9fea8e4e63902d764b92f7970b
69 N91c50681cb35471a8f369ec3287e2833 schema:name Springer Nature
70 rdf:type schema:Organisation
71 Nc632965c8b014651a7784c4750699799 rdf:first N19087698115d4e80bb1ff05052ccc5bf
72 rdf:rest rdf:nil
73 Nd6c0319d1b934ca9a7e155d112cf93a1 rdf:first sg:person.014005213273.83
74 rdf:rest N90f2c0fe3f8549329723fd01ebb0b8a0
75 Nd996d9a10d3c4c9788326d299931f9e2 schema:name doi
76 schema:value 10.1007/bfb0055633
77 rdf:type schema:PropertyValue
78 Ne89fac9fea8e4e63902d764b92f7970b rdf:first sg:person.010516504205.98
79 rdf:rest rdf:nil
80 Nfa6bc29ef6404e0795bedec888660650 schema:name dimensions_id
81 schema:value pub.1046297034
82 rdf:type schema:PropertyValue
83 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
84 schema:name Information and Computing Sciences
85 rdf:type schema:DefinedTerm
86 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
87 schema:name Computer Software
88 rdf:type schema:DefinedTerm
89 sg:person.010516504205.98 schema:affiliation grid-institutes:grid.158820.6
90 schema:familyName Meo
91 schema:givenName Maria Chiara
92 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010516504205.98
93 rdf:type schema:Person
94 sg:person.014005213273.83 schema:affiliation grid-institutes:grid.5012.6
95 schema:familyName Etalle
96 schema:givenName Sandro
97 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014005213273.83
98 rdf:type schema:Person
99 sg:person.015334666002.47 schema:affiliation grid-institutes:grid.5395.a
100 schema:familyName Gabbrielli
101 schema:givenName Maurizio
102 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015334666002.47
103 rdf:type schema:Person
104 grid-institutes:grid.158820.6 schema:alternateName Diaprtimento di Matematica Pura e Applicata, Università di L'Aquila, Loc. Coppito, 67010, L'Aquila, Italy
105 schema:name Diaprtimento di Matematica Pura e Applicata, Università di L'Aquila, Loc. Coppito, 67010, L'Aquila, Italy
106 rdf:type schema:Organization
107 grid-institutes:grid.5012.6 schema:alternateName Universiteit Maastricht, P.O. Box 616, 6200, MD Maastricht, The Netherlands
108 schema:name Universiteit Maastricht, P.O. Box 616, 6200, MD Maastricht, The Netherlands
109 rdf:type schema:Organization
110 grid-institutes:grid.5395.a schema:alternateName Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56125, Pisa, Italy
111 schema:name Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56125, Pisa, Italy
112 rdf:type schema:Organization
 




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


...