Partial deduction and driving are equivalent View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1994

AUTHORS

Robert Glück , Morten Heine Sørensen

ABSTRACT

Partial deduction and driving are two methods used for program specialization in logic and functional languages, respectively. We argue that both techniques achieve essentially the same transformational effect by unification-based information propagation. We show their equivalence by analyzing the definition and construction principles underlying partial deduction and driving, and by giving a translation from a functional language to a definite logic language preserving certain properties. We discuss residual program generation, termination issues, and related other techniques developed for program specialization in logic and functional languages. More... »

PAGES

165-181

Book

TITLE

Programming Language Implementation and Logic Programming

ISBN

978-3-540-58402-5
978-3-540-48695-4

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-58402-1_13

DOI

http://dx.doi.org/10.1007/3-540-58402-1_13

DIMENSIONS

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


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/20", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Language, Communication and Culture", 
        "type": "DefinedTerm"
      }, 
      {
        "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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen \u00d8, Denmark", 
          "id": "http://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen \u00d8, 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": "DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen \u00d8, Denmark", 
          "id": "http://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen \u00d8, 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": "1994", 
    "datePublishedReg": "1994-01-01", 
    "description": "Partial deduction and driving are two methods used for program specialization in logic and functional languages, respectively. We argue that both techniques achieve essentially the same transformational effect by unification-based information propagation. We show their equivalence by analyzing the definition and construction principles underlying partial deduction and driving, and by giving a translation from a functional language to a definite logic language preserving certain properties. We discuss residual program generation, termination issues, and related other techniques developed for program specialization in logic and functional languages.", 
    "editor": [
      {
        "familyName": "Hermenegildo", 
        "givenName": "Manuel", 
        "type": "Person"
      }, 
      {
        "familyName": "Penjam", 
        "givenName": "Jaan", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-58402-1_13", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-58402-5", 
        "978-3-540-48695-4"
      ], 
      "name": "Programming Language Implementation and Logic Programming", 
      "type": "Book"
    }, 
    "keywords": [
      "functional language", 
      "language", 
      "logic language", 
      "program specialization", 
      "transformational effects", 
      "partial deduction", 
      "logic", 
      "translation", 
      "construction principles", 
      "issues", 
      "definition", 
      "equivalence", 
      "program generation", 
      "deduction", 
      "specialization", 
      "principles", 
      "certain properties", 
      "generation", 
      "information propagation", 
      "termination issues", 
      "driving", 
      "technique", 
      "method", 
      "effect", 
      "propagation", 
      "properties", 
      "same transformational effect", 
      "unification-based information propagation", 
      "definite logic language", 
      "residual program generation"
    ], 
    "name": "Partial deduction and driving are equivalent", 
    "pagination": "165-181", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1026985651"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-58402-1_13"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-58402-1_13", 
      "https://app.dimensions.ai/details/publication/pub.1026985651"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-11-01T18:57", 
    "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_357.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-58402-1_13"
  }
]
 

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-58402-1_13'

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-58402-1_13'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-58402-1_13'

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-58402-1_13'


 

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

102 TRIPLES      23 PREDICATES      56 URIs      49 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-58402-1_13 schema:about anzsrc-for:20
2 anzsrc-for:2004
3 schema:author Nef33e854705c45aa84b0d279d7da2f0e
4 schema:datePublished 1994
5 schema:datePublishedReg 1994-01-01
6 schema:description Partial deduction and driving are two methods used for program specialization in logic and functional languages, respectively. We argue that both techniques achieve essentially the same transformational effect by unification-based information propagation. We show their equivalence by analyzing the definition and construction principles underlying partial deduction and driving, and by giving a translation from a functional language to a definite logic language preserving certain properties. We discuss residual program generation, termination issues, and related other techniques developed for program specialization in logic and functional languages.
7 schema:editor Nb195a021758d47fab655accc8a1496b3
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N07be0d83952d4e66b9b19ade895aeb0a
12 schema:keywords certain properties
13 construction principles
14 deduction
15 definite logic language
16 definition
17 driving
18 effect
19 equivalence
20 functional language
21 generation
22 information propagation
23 issues
24 language
25 logic
26 logic language
27 method
28 partial deduction
29 principles
30 program generation
31 program specialization
32 propagation
33 properties
34 residual program generation
35 same transformational effect
36 specialization
37 technique
38 termination issues
39 transformational effects
40 translation
41 unification-based information propagation
42 schema:name Partial deduction and driving are equivalent
43 schema:pagination 165-181
44 schema:productId N77cd8370b6584b2b8040c5752da607b1
45 N936699ab68614f09a531163c39514f1b
46 schema:publisher N528fbe80d09d448a83eb4de3b3308bf9
47 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026985651
48 https://doi.org/10.1007/3-540-58402-1_13
49 schema:sdDatePublished 2021-11-01T18:57
50 schema:sdLicense https://scigraph.springernature.com/explorer/license/
51 schema:sdPublisher N1e14a00706ee4ae190f930ad78a6437d
52 schema:url https://doi.org/10.1007/3-540-58402-1_13
53 sgo:license sg:explorer/license/
54 sgo:sdDataset chapters
55 rdf:type schema:Chapter
56 N07be0d83952d4e66b9b19ade895aeb0a schema:isbn 978-3-540-48695-4
57 978-3-540-58402-5
58 schema:name Programming Language Implementation and Logic Programming
59 rdf:type schema:Book
60 N1e14a00706ee4ae190f930ad78a6437d schema:name Springer Nature - SN SciGraph project
61 rdf:type schema:Organization
62 N528fbe80d09d448a83eb4de3b3308bf9 schema:name Springer Nature
63 rdf:type schema:Organisation
64 N7545beb96edb4fa29398f5636778d225 schema:familyName Hermenegildo
65 schema:givenName Manuel
66 rdf:type schema:Person
67 N77cd8370b6584b2b8040c5752da607b1 schema:name doi
68 schema:value 10.1007/3-540-58402-1_13
69 rdf:type schema:PropertyValue
70 N936699ab68614f09a531163c39514f1b schema:name dimensions_id
71 schema:value pub.1026985651
72 rdf:type schema:PropertyValue
73 Nb195a021758d47fab655accc8a1496b3 rdf:first N7545beb96edb4fa29398f5636778d225
74 rdf:rest Nc11188a4c3f146af9fbcd548317f113a
75 Nbfc78b8e4e8c48cf878562643c2ed491 rdf:first sg:person.012500751041.71
76 rdf:rest rdf:nil
77 Nc11188a4c3f146af9fbcd548317f113a rdf:first Nd9f06b5c1085409baba773b125a067c7
78 rdf:rest rdf:nil
79 Nd9f06b5c1085409baba773b125a067c7 schema:familyName Penjam
80 schema:givenName Jaan
81 rdf:type schema:Person
82 Nef33e854705c45aa84b0d279d7da2f0e rdf:first sg:person.010754010217.31
83 rdf:rest Nbfc78b8e4e8c48cf878562643c2ed491
84 anzsrc-for:20 schema:inDefinedTermSet anzsrc-for:
85 schema:name Language, Communication and Culture
86 rdf:type schema:DefinedTerm
87 anzsrc-for:2004 schema:inDefinedTermSet anzsrc-for:
88 schema:name Linguistics
89 rdf:type schema:DefinedTerm
90 sg:person.010754010217.31 schema:affiliation grid-institutes:grid.5254.6
91 schema:familyName Glück
92 schema:givenName Robert
93 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
94 rdf:type schema:Person
95 sg:person.012500751041.71 schema:affiliation grid-institutes:grid.5254.6
96 schema:familyName Sørensen
97 schema:givenName Morten Heine
98 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012500751041.71
99 rdf:type schema:Person
100 grid-institutes:grid.5254.6 schema:alternateName DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen Ø, Denmark
101 schema:name DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen Ø, Denmark
102 rdf:type schema:Organization
 




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


...