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

Book

TITLE

Programming Languages: Implementations, Logics, and Programs

ISBN

978-3-540-61756-3
978-3-540-70654-0

Author Affiliations

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/2203", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Philosophy", 
        "type": "DefinedTerm"
      }, 
      {
        "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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Copenhagen", 
          "id": "https://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100\u00a0Copenhagen, 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": "KU Leuven", 
          "id": "https://www.grid.ac/institutes/grid.5596.f", 
          "name": [
            "Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 200A, B-3001\u00a0Heverlee, 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": "KU Leuven", 
          "id": "https://www.grid.ac/institutes/grid.5596.f", 
          "name": [
            "Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 200A, B-3001\u00a0Heverlee, 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": "University of Copenhagen", 
          "id": "https://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100\u00a0Copenhagen, 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"
    }, 
    "name": "Controlling conjunctive partial deduction", 
    "pagination": "152-166", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-61756-6_83"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "ca79b6c05f9728831395273d5773636937d234f2826cc0e0ab12909fd628dd4a"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1042506248"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-61756-6_83", 
      "https://app.dimensions.ai/details/publication/pub.1042506248"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T23:41", 
    "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_8697_00000073.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/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.

94 TRIPLES      22 PREDICATES      27 URIs      20 LITERALS      8 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 N6cec8342c64d4270a83ffdc405990de3
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 N6c8b4f4fbf5c41e088b7e75218928bcd
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N4ad0f956df7f492a8b525849031bdade
12 schema:name Controlling conjunctive partial deduction
13 schema:pagination 152-166
14 schema:productId N1e6e1b01afc848819fd79302a5476154
15 N3fb9485062e44b4fa278d349c582398f
16 Na8414eaef3be48208a997a40d0e1e923
17 schema:publisher N052375b5d1004998bd70c349090a2471
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042506248
19 https://doi.org/10.1007/3-540-61756-6_83
20 schema:sdDatePublished 2019-04-15T23:41
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher Nf8e1d7e4de2f437783ea18bbb6b8567b
23 schema:url http://link.springer.com/10.1007/3-540-61756-6_83
24 sgo:license sg:explorer/license/
25 sgo:sdDataset chapters
26 rdf:type schema:Chapter
27 N02231a4d788047268491fbba8529e923 schema:familyName Doaitse Swierstra
28 schema:givenName S.
29 rdf:type schema:Person
30 N052375b5d1004998bd70c349090a2471 schema:location Berlin, Heidelberg
31 schema:name Springer Berlin Heidelberg
32 rdf:type schema:Organisation
33 N1e6e1b01afc848819fd79302a5476154 schema:name readcube_id
34 schema:value ca79b6c05f9728831395273d5773636937d234f2826cc0e0ab12909fd628dd4a
35 rdf:type schema:PropertyValue
36 N237c187e423a400fa1dc665d1510a253 rdf:first sg:person.012500751041.71
37 rdf:rest rdf:nil
38 N3fb9485062e44b4fa278d349c582398f schema:name doi
39 schema:value 10.1007/3-540-61756-6_83
40 rdf:type schema:PropertyValue
41 N4597f3daecd544989a148f74eeb13ca8 rdf:first sg:person.014706352727.82
42 rdf:rest Nda699b6c847c49c7afaa64fde3492c6c
43 N4ad0f956df7f492a8b525849031bdade schema:isbn 978-3-540-61756-3
44 978-3-540-70654-0
45 schema:name Programming Languages: Implementations, Logics, and Programs
46 rdf:type schema:Book
47 N5f5fb632bd434dc4939aac2ec4fad0a1 schema:familyName Kuchen
48 schema:givenName Herbert
49 rdf:type schema:Person
50 N6c8b4f4fbf5c41e088b7e75218928bcd rdf:first N5f5fb632bd434dc4939aac2ec4fad0a1
51 rdf:rest N73078bed98ad42fb91d92fa81ada9c69
52 N6cec8342c64d4270a83ffdc405990de3 rdf:first sg:person.010754010217.31
53 rdf:rest N4597f3daecd544989a148f74eeb13ca8
54 N73078bed98ad42fb91d92fa81ada9c69 rdf:first N02231a4d788047268491fbba8529e923
55 rdf:rest rdf:nil
56 Na8414eaef3be48208a997a40d0e1e923 schema:name dimensions_id
57 schema:value pub.1042506248
58 rdf:type schema:PropertyValue
59 Nda699b6c847c49c7afaa64fde3492c6c rdf:first sg:person.011142616671.92
60 rdf:rest N237c187e423a400fa1dc665d1510a253
61 Nf8e1d7e4de2f437783ea18bbb6b8567b schema:name Springer Nature - SN SciGraph project
62 rdf:type schema:Organization
63 anzsrc-for:22 schema:inDefinedTermSet anzsrc-for:
64 schema:name Philosophy and Religious Studies
65 rdf:type schema:DefinedTerm
66 anzsrc-for:2203 schema:inDefinedTermSet anzsrc-for:
67 schema:name Philosophy
68 rdf:type schema:DefinedTerm
69 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
70 schema:familyName Glück
71 schema:givenName Robert
72 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
73 rdf:type schema:Person
74 sg:person.011142616671.92 schema:affiliation https://www.grid.ac/institutes/grid.5596.f
75 schema:familyName Martens
76 schema:givenName Bern
77 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011142616671.92
78 rdf:type schema:Person
79 sg:person.012500751041.71 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
80 schema:familyName Sørensen
81 schema:givenName Morten Heine
82 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012500751041.71
83 rdf:type schema:Person
84 sg:person.014706352727.82 schema:affiliation https://www.grid.ac/institutes/grid.5596.f
85 schema:familyName Jørgensen
86 schema:givenName Jesper
87 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014706352727.82
88 rdf:type schema:Person
89 https://www.grid.ac/institutes/grid.5254.6 schema:alternateName University of Copenhagen
90 schema:name Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen, Denmark
91 rdf:type schema:Organization
92 https://www.grid.ac/institutes/grid.5596.f schema:alternateName KU Leuven
93 schema:name Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 200A, B-3001 Heverlee, Belgium
94 rdf:type schema:Organization
 




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


...