Controlling conjunctive partial deduction View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1996

AUTHORS

Robert Glück , Jesper Jørgensen , Bern Martens , Morten Heine Sørensen

ABSTRACT

Partial deduction within Lloyd and Shepherdson's frame-work transforms different atoms of a goal independently and therefore fails to achieve a number of unfold/fold transformations. A recent framework for conjunctive partial deduction allows unfold/fold transformations by specialisation of entire conjunctions, but does not give an actual algorithm for conjunctive partial deduction, and in particular does not address control issues (e.g. how to select atoms for unfolding). Focusing on novel challenges specific to local and global control, we describe a generic algorithm for conjunctive partial deduction, refine it into a fully automatic concrete algorithm, and prove termination and correctness. More... »

PAGES

152-166

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-61756-6_83

DOI

http://dx.doi.org/10.1007/3-540-61756-6_83

DIMENSIONS

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


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/22", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Philosophy and Religious Studies", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2203", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Philosophy", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen, Denmark", 
          "id": "http://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen, Denmark"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Gl\u00fcck", 
        "givenName": "Robert", 
        "id": "sg:person.010754010217.31", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 200A, B-3001, Heverlee, Belgium", 
          "id": "http://www.grid.ac/institutes/grid.5596.f", 
          "name": [
            "Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 200A, B-3001, Heverlee, Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "J\u00f8rgensen", 
        "givenName": "Jesper", 
        "id": "sg:person.014706352727.82", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014706352727.82"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 200A, B-3001, Heverlee, Belgium", 
          "id": "http://www.grid.ac/institutes/grid.5596.f", 
          "name": [
            "Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 200A, B-3001, Heverlee, Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Martens", 
        "givenName": "Bern", 
        "id": "sg:person.011142616671.92", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011142616671.92"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen, Denmark", 
          "id": "http://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen, Denmark"
          ], 
          "type": "Organization"
        }, 
        "familyName": "S\u00f8rensen", 
        "givenName": "Morten Heine", 
        "id": "sg:person.012500751041.71", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012500751041.71"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1996", 
    "datePublishedReg": "1996-01-01", 
    "description": "Partial deduction within Lloyd and Shepherdson's frame-work transforms different atoms of a goal independently and therefore fails to achieve a number of unfold/fold transformations. A recent framework for conjunctive partial deduction allows unfold/fold transformations by specialisation of entire conjunctions, but does not give an actual algorithm for conjunctive partial deduction, and in particular does not address control issues (e.g. how to select atoms for unfolding). Focusing on novel challenges specific to local and global control, we describe a generic algorithm for conjunctive partial deduction, refine it into a fully automatic concrete algorithm, and prove termination and correctness.", 
    "editor": [
      {
        "familyName": "Kuchen", 
        "givenName": "Herbert", 
        "type": "Person"
      }, 
      {
        "familyName": "Doaitse Swierstra", 
        "givenName": "S.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-61756-6_83", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-61756-3", 
        "978-3-540-70654-0"
      ], 
      "name": "Programming Languages: Implementations, Logics, and Programs", 
      "type": "Book"
    }, 
    "keywords": [
      "partial deduction", 
      "deduction", 
      "Lloyd", 
      "Shepherdson", 
      "goal", 
      "transformation", 
      "recent framework", 
      "framework", 
      "conjunctive partial deduction", 
      "specialisation", 
      "issues", 
      "novel challenges", 
      "challenges", 
      "correctness", 
      "different atoms", 
      "atoms", 
      "number", 
      "unfold/", 
      "entire conjunction", 
      "conjunction", 
      "actual algorithm", 
      "algorithm", 
      "control issues", 
      "global control", 
      "control", 
      "generic algorithm", 
      "automatic concrete algorithm", 
      "concrete algorithms", 
      "termination"
    ], 
    "name": "Controlling conjunctive partial deduction", 
    "pagination": "152-166", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1042506248"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-61756-6_83"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-61756-6_83", 
      "https://app.dimensions.ai/details/publication/pub.1042506248"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-12-01T20:10", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/chapter/chapter_442.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-61756-6_83"
  }
]
 

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/3-540-61756-6_83'

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/3-540-61756-6_83'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-61756-6_83'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-61756-6_83'


 

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

118 TRIPLES      23 PREDICATES      55 URIs      48 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-61756-6_83 schema:about anzsrc-for:22
2 anzsrc-for:2203
3 schema:author Nbfda914aa2b4487ea45153b1d83f25c6
4 schema:datePublished 1996
5 schema:datePublishedReg 1996-01-01
6 schema:description Partial deduction within Lloyd and Shepherdson's frame-work transforms different atoms of a goal independently and therefore fails to achieve a number of unfold/fold transformations. A recent framework for conjunctive partial deduction allows unfold/fold transformations by specialisation of entire conjunctions, but does not give an actual algorithm for conjunctive partial deduction, and in particular does not address control issues (e.g. how to select atoms for unfolding). Focusing on novel challenges specific to local and global control, we describe a generic algorithm for conjunctive partial deduction, refine it into a fully automatic concrete algorithm, and prove termination and correctness.
7 schema:editor N06907f934bbd4efcbfb0ca836be3f472
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Ndf00056e5cd74d03a7389a1f7f8bf720
12 schema:keywords Lloyd
13 Shepherdson
14 actual algorithm
15 algorithm
16 atoms
17 automatic concrete algorithm
18 challenges
19 concrete algorithms
20 conjunction
21 conjunctive partial deduction
22 control
23 control issues
24 correctness
25 deduction
26 different atoms
27 entire conjunction
28 framework
29 generic algorithm
30 global control
31 goal
32 issues
33 novel challenges
34 number
35 partial deduction
36 recent framework
37 specialisation
38 termination
39 transformation
40 unfold/
41 schema:name Controlling conjunctive partial deduction
42 schema:pagination 152-166
43 schema:productId N1fb76c377c3f4377bdb617b83ab6dc43
44 N6898349689ec4cb88572f379389e4b0c
45 schema:publisher N1eec3b8f7a9f42b9a04b5b8cb80d5717
46 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042506248
47 https://doi.org/10.1007/3-540-61756-6_83
48 schema:sdDatePublished 2021-12-01T20:10
49 schema:sdLicense https://scigraph.springernature.com/explorer/license/
50 schema:sdPublisher Nb9e15a9de3744579ba88ad8ae75af0bd
51 schema:url https://doi.org/10.1007/3-540-61756-6_83
52 sgo:license sg:explorer/license/
53 sgo:sdDataset chapters
54 rdf:type schema:Chapter
55 N06907f934bbd4efcbfb0ca836be3f472 rdf:first Nb278e31b5cd644a4a6dc062b20e0ad75
56 rdf:rest Ncffe434059db4a6690f5492eac17dc39
57 N1eec3b8f7a9f42b9a04b5b8cb80d5717 schema:name Springer Nature
58 rdf:type schema:Organisation
59 N1fb76c377c3f4377bdb617b83ab6dc43 schema:name doi
60 schema:value 10.1007/3-540-61756-6_83
61 rdf:type schema:PropertyValue
62 N661cfda3e4a54385839e2df4f98b4089 rdf:first sg:person.012500751041.71
63 rdf:rest rdf:nil
64 N6898349689ec4cb88572f379389e4b0c schema:name dimensions_id
65 schema:value pub.1042506248
66 rdf:type schema:PropertyValue
67 N78228fea4a2d43bc9c4d53e557d48799 rdf:first sg:person.014706352727.82
68 rdf:rest Neb429cb2387b4a8297d1e15413bc6ee3
69 N92ef796b3e254600adf8c58e10ba043e schema:familyName Doaitse Swierstra
70 schema:givenName S.
71 rdf:type schema:Person
72 Nb278e31b5cd644a4a6dc062b20e0ad75 schema:familyName Kuchen
73 schema:givenName Herbert
74 rdf:type schema:Person
75 Nb9e15a9de3744579ba88ad8ae75af0bd schema:name Springer Nature - SN SciGraph project
76 rdf:type schema:Organization
77 Nbfda914aa2b4487ea45153b1d83f25c6 rdf:first sg:person.010754010217.31
78 rdf:rest N78228fea4a2d43bc9c4d53e557d48799
79 Ncffe434059db4a6690f5492eac17dc39 rdf:first N92ef796b3e254600adf8c58e10ba043e
80 rdf:rest rdf:nil
81 Ndf00056e5cd74d03a7389a1f7f8bf720 schema:isbn 978-3-540-61756-3
82 978-3-540-70654-0
83 schema:name Programming Languages: Implementations, Logics, and Programs
84 rdf:type schema:Book
85 Neb429cb2387b4a8297d1e15413bc6ee3 rdf:first sg:person.011142616671.92
86 rdf:rest N661cfda3e4a54385839e2df4f98b4089
87 anzsrc-for:22 schema:inDefinedTermSet anzsrc-for:
88 schema:name Philosophy and Religious Studies
89 rdf:type schema:DefinedTerm
90 anzsrc-for:2203 schema:inDefinedTermSet anzsrc-for:
91 schema:name Philosophy
92 rdf:type schema:DefinedTerm
93 sg:person.010754010217.31 schema:affiliation grid-institutes:grid.5254.6
94 schema:familyName Glück
95 schema:givenName Robert
96 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
97 rdf:type schema:Person
98 sg:person.011142616671.92 schema:affiliation grid-institutes:grid.5596.f
99 schema:familyName Martens
100 schema:givenName Bern
101 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011142616671.92
102 rdf:type schema:Person
103 sg:person.012500751041.71 schema:affiliation grid-institutes:grid.5254.6
104 schema:familyName Sørensen
105 schema:givenName Morten Heine
106 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012500751041.71
107 rdf:type schema:Person
108 sg:person.014706352727.82 schema:affiliation grid-institutes:grid.5596.f
109 schema:familyName Jørgensen
110 schema:givenName Jesper
111 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014706352727.82
112 rdf:type schema:Person
113 grid-institutes:grid.5254.6 schema:alternateName Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen, Denmark
114 schema:name Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen, Denmark
115 rdf:type schema:Organization
116 grid-institutes:grid.5596.f schema:alternateName Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 200A, B-3001, Heverlee, Belgium
117 schema:name Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 200A, B-3001, Heverlee, Belgium
118 rdf:type schema:Organization
 




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


...