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 N01ea61079e1f431c9e05655611998349
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 N46a332d18c8a492b8d95ceee88512a1d
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf Ncd6c1b13a12d4e7ab45d48c663e15ddf
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 N75b903f2cd0d439a85d366607e66c53c
42 N7d633f4534cc44e196a4e227e400f7b9
43 schema:publisher N25cfe95b0a894b94925b517a185a7cb0
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 Ne69ede33eb364d7488fdcef477ce0789
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 N01ea61079e1f431c9e05655611998349 rdf:first sg:person.014005213273.83
54 rdf:rest N8ef74c8ba25b465f9bcf9db1634fe21d
55 N25cfe95b0a894b94925b517a185a7cb0 schema:name Springer Nature
56 rdf:type schema:Organisation
57 N46a332d18c8a492b8d95ceee88512a1d rdf:first N7a8f13bb77fd41d0bc27e91b28a4eba4
58 rdf:rest Nb1ddaff174464521b37384fb24f29395
59 N595a7703e209432586037b9a2ca80ae8 schema:familyName de Simone
60 schema:givenName Robert
61 rdf:type schema:Person
62 N75b903f2cd0d439a85d366607e66c53c schema:name dimensions_id
63 schema:value pub.1046297034
64 rdf:type schema:PropertyValue
65 N7a8f13bb77fd41d0bc27e91b28a4eba4 schema:familyName Sangiorgi
66 schema:givenName Davide
67 rdf:type schema:Person
68 N7d633f4534cc44e196a4e227e400f7b9 schema:name doi
69 schema:value 10.1007/bfb0055633
70 rdf:type schema:PropertyValue
71 N8ef74c8ba25b465f9bcf9db1634fe21d rdf:first sg:person.015334666002.47
72 rdf:rest Nc2610ec6a63d4439a68cb85f8e2b5511
73 Nb1ddaff174464521b37384fb24f29395 rdf:first N595a7703e209432586037b9a2ca80ae8
74 rdf:rest rdf:nil
75 Nc2610ec6a63d4439a68cb85f8e2b5511 rdf:first sg:person.010516504205.98
76 rdf:rest rdf:nil
77 Ncd6c1b13a12d4e7ab45d48c663e15ddf schema:isbn 978-3-540-64896-3
78 978-3-540-68455-8
79 schema:name CONCUR'98 Concurrency Theory
80 rdf:type schema:Book
81 Ne69ede33eb364d7488fdcef477ce0789 schema:name Springer Nature - SN SciGraph project
82 rdf:type schema:Organization
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)


...