Automatic generation of very efficient programs by Generalized Partial Computation View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2001-03

AUTHORS

Yoshihiko Futamura, Zenjiro Konishi, Robert Glück

ABSTRACT

Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data, properties of auxiliary functions and the logical structure of a source program. GPC uses both an inference engine such as a theorem prover and a classical partial evaluator to optimize programs. Therefore, GPC is more powerful than classical partial evaluators but harder to implement and control. We have implemented an experimental GPC system called WSDFU (Waseda Simplify-Distribute-Fold-Unfold). This paper discusses the power of the program transformation system, its theorem prover and future works. More... »

PAGES

1-11

References to SciGraph publications

Identifiers

URI

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

DOI

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

DIMENSIONS

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


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/2103", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Historical Studies", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/21", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "History and Archaeology", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Waseda University", 
          "id": "https://www.grid.ac/institutes/grid.5290.e", 
          "name": [
            "Department of Informationr and Computer Science, Waseda University, 3-4-1 Okubo, 169-8555, Shinjuku, Tokyo, Japan"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Futamura", 
        "givenName": "Yoshihiko", 
        "id": "sg:person.016641004255.43", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016641004255.43"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Waseda University", 
          "id": "https://www.grid.ac/institutes/grid.5290.e", 
          "name": [
            "Institute for Software Production Technology, Waseda University, 3-4-1 Okubo, Shinjuku, 169-8555, Tokyo, Japan"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Konishi", 
        "givenName": "Zenjiro", 
        "id": "sg:person.07647053247.31", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07647053247.31"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Waseda University", 
          "id": "https://www.grid.ac/institutes/grid.5290.e", 
          "name": [
            "Institute for Software Production Technology, Waseda University, 3-4-1 Okubo, Shinjuku, 169-8555, Tokyo, Japan"
          ], 
          "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"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/3-540-57264-3_34", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1003987904", 
          "https://doi.org/10.1007/3-540-57264-3_34"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0304-3975(91)90299-h", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1012630910"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/234528.234529", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1014217933"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/5956.5957", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1016193336"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1023/a:1010095604496", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1033988174", 
          "https://doi.org/10.1023/a:1010095604496"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/s0956796800002008", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1042426034"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/359863.359889", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043257800"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1023/a:1010043619517", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1044077633", 
          "https://doi.org/10.1023/a:1010043619517"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/243439.243447", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1044606828"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/321992.321996", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1046318040"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2001-03", 
    "datePublishedReg": "2001-03-01", 
    "description": "Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data, properties of auxiliary functions and the logical structure of a source program. GPC uses both an inference engine such as a theorem prover and a classical partial evaluator to optimize programs. Therefore, GPC is more powerful than classical partial evaluators but harder to implement and control. We have implemented an experimental GPC system called WSDFU (Waseda Simplify-Distribute-Fold-Unfold). This paper discusses the power of the program transformation system, its theorem prover and future works.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/bf03160221", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1135877", 
        "issn": [
          "1007-1202", 
          "1993-4998"
        ], 
        "name": "Wuhan University Journal of Natural Sciences", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "1-2", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "6"
      }
    ], 
    "name": "Automatic generation of very efficient programs by Generalized Partial Computation", 
    "pagination": "1-11", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "19f0d41712442e2028a75aba3110b5aee7be2a80fff6a6c9778386ce52782758"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bf03160221"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1005444456"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/bf03160221", 
      "https://app.dimensions.ai/details/publication/pub.1005444456"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T14:33", 
    "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/0000000373_0000000373/records_13106_00000000.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1007%2FBF03160221"
  }
]
 

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

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

Turtle is a human-readable linked data format.

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

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

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


 

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

109 TRIPLES      21 PREDICATES      37 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bf03160221 schema:about anzsrc-for:21
2 anzsrc-for:2103
3 schema:author Nef0c46dda5af428984728926e4682ee7
4 schema:citation sg:pub.10.1007/3-540-57264-3_34
5 sg:pub.10.1023/a:1010043619517
6 sg:pub.10.1023/a:1010095604496
7 https://doi.org/10.1016/0304-3975(91)90299-h
8 https://doi.org/10.1017/s0956796800002008
9 https://doi.org/10.1145/234528.234529
10 https://doi.org/10.1145/243439.243447
11 https://doi.org/10.1145/321992.321996
12 https://doi.org/10.1145/359863.359889
13 https://doi.org/10.1145/5956.5957
14 schema:datePublished 2001-03
15 schema:datePublishedReg 2001-03-01
16 schema:description Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data, properties of auxiliary functions and the logical structure of a source program. GPC uses both an inference engine such as a theorem prover and a classical partial evaluator to optimize programs. Therefore, GPC is more powerful than classical partial evaluators but harder to implement and control. We have implemented an experimental GPC system called WSDFU (Waseda Simplify-Distribute-Fold-Unfold). This paper discusses the power of the program transformation system, its theorem prover and future works.
17 schema:genre research_article
18 schema:inLanguage en
19 schema:isAccessibleForFree false
20 schema:isPartOf N6796abbb74e54096a54e7d2908d48440
21 N9d1772b26a33408dbbc46f10ddafec5d
22 sg:journal.1135877
23 schema:name Automatic generation of very efficient programs by Generalized Partial Computation
24 schema:pagination 1-11
25 schema:productId N0bdd63c3cac649baac407f9616519ee3
26 N37888a2f4bc94fe8bc7a057168d84a5c
27 Nc4f4b891ad87469ea7ec40dd3592caab
28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005444456
29 https://doi.org/10.1007/bf03160221
30 schema:sdDatePublished 2019-04-11T14:33
31 schema:sdLicense https://scigraph.springernature.com/explorer/license/
32 schema:sdPublisher N67bb70ef2b58418cadaf79e4487190ea
33 schema:url http://link.springer.com/10.1007%2FBF03160221
34 sgo:license sg:explorer/license/
35 sgo:sdDataset articles
36 rdf:type schema:ScholarlyArticle
37 N0bdd63c3cac649baac407f9616519ee3 schema:name dimensions_id
38 schema:value pub.1005444456
39 rdf:type schema:PropertyValue
40 N37888a2f4bc94fe8bc7a057168d84a5c schema:name doi
41 schema:value 10.1007/bf03160221
42 rdf:type schema:PropertyValue
43 N6796abbb74e54096a54e7d2908d48440 schema:volumeNumber 6
44 rdf:type schema:PublicationVolume
45 N67bb70ef2b58418cadaf79e4487190ea schema:name Springer Nature - SN SciGraph project
46 rdf:type schema:Organization
47 N84ded3dc55ee49a1bc936ce3e1a0f2ef rdf:first sg:person.07647053247.31
48 rdf:rest Nfde4909221de4c6fa0fac4b552a78c30
49 N9d1772b26a33408dbbc46f10ddafec5d schema:issueNumber 1-2
50 rdf:type schema:PublicationIssue
51 Nc4f4b891ad87469ea7ec40dd3592caab schema:name readcube_id
52 schema:value 19f0d41712442e2028a75aba3110b5aee7be2a80fff6a6c9778386ce52782758
53 rdf:type schema:PropertyValue
54 Nef0c46dda5af428984728926e4682ee7 rdf:first sg:person.016641004255.43
55 rdf:rest N84ded3dc55ee49a1bc936ce3e1a0f2ef
56 Nfde4909221de4c6fa0fac4b552a78c30 rdf:first sg:person.010754010217.31
57 rdf:rest rdf:nil
58 anzsrc-for:21 schema:inDefinedTermSet anzsrc-for:
59 schema:name History and Archaeology
60 rdf:type schema:DefinedTerm
61 anzsrc-for:2103 schema:inDefinedTermSet anzsrc-for:
62 schema:name Historical Studies
63 rdf:type schema:DefinedTerm
64 sg:journal.1135877 schema:issn 1007-1202
65 1993-4998
66 schema:name Wuhan University Journal of Natural Sciences
67 rdf:type schema:Periodical
68 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5290.e
69 schema:familyName Glück
70 schema:givenName Robert
71 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
72 rdf:type schema:Person
73 sg:person.016641004255.43 schema:affiliation https://www.grid.ac/institutes/grid.5290.e
74 schema:familyName Futamura
75 schema:givenName Yoshihiko
76 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016641004255.43
77 rdf:type schema:Person
78 sg:person.07647053247.31 schema:affiliation https://www.grid.ac/institutes/grid.5290.e
79 schema:familyName Konishi
80 schema:givenName Zenjiro
81 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07647053247.31
82 rdf:type schema:Person
83 sg:pub.10.1007/3-540-57264-3_34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003987904
84 https://doi.org/10.1007/3-540-57264-3_34
85 rdf:type schema:CreativeWork
86 sg:pub.10.1023/a:1010043619517 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044077633
87 https://doi.org/10.1023/a:1010043619517
88 rdf:type schema:CreativeWork
89 sg:pub.10.1023/a:1010095604496 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033988174
90 https://doi.org/10.1023/a:1010095604496
91 rdf:type schema:CreativeWork
92 https://doi.org/10.1016/0304-3975(91)90299-h schema:sameAs https://app.dimensions.ai/details/publication/pub.1012630910
93 rdf:type schema:CreativeWork
94 https://doi.org/10.1017/s0956796800002008 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042426034
95 rdf:type schema:CreativeWork
96 https://doi.org/10.1145/234528.234529 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014217933
97 rdf:type schema:CreativeWork
98 https://doi.org/10.1145/243439.243447 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044606828
99 rdf:type schema:CreativeWork
100 https://doi.org/10.1145/321992.321996 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046318040
101 rdf:type schema:CreativeWork
102 https://doi.org/10.1145/359863.359889 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043257800
103 rdf:type schema:CreativeWork
104 https://doi.org/10.1145/5956.5957 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016193336
105 rdf:type schema:CreativeWork
106 https://www.grid.ac/institutes/grid.5290.e schema:alternateName Waseda University
107 schema:name Department of Informationr and Computer Science, Waseda University, 3-4-1 Okubo, 169-8555, Shinjuku, Tokyo, Japan
108 Institute for Software Production Technology, Waseda University, 3-4-1 Okubo, Shinjuku, 169-8555, Tokyo, Japan
109 rdf:type schema:Organization
 




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


...