Program transformation system based on generalized partial computation View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2002-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, abstract data types 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 demonstrates the power of the program transformation system as well as its theorem prover and discusses some future works. More... »

PAGES

75-99

References to SciGraph publications

Identifiers

URI

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

DOI

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

DIMENSIONS

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


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/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Waseda University", 
          "id": "https://www.grid.ac/institutes/grid.5290.e", 
          "name": [
            "Waseda University, 3-4-1 Okubo, Shinjuku, 169-8555, 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": [
            "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": "Japan Science and Technology Agency", 
          "id": "https://www.grid.ac/institutes/grid.419082.6", 
          "name": [
            "Waseda University, 3-4-1 Okubo, Shinjuku, 169-8555, Tokyo, Japan", 
            "PRESTO, JST, 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.1007/3-540-36377-7_15", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1027040707", 
          "https://doi.org/10.1007/3-540-36377-7_15"
        ], 
        "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"
      }, 
      {
        "id": "https://doi.org/10.1016/b978-0-08-091728-3.50009-6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1049697336"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/359842.359859", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1051315984"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2002-03", 
    "datePublishedReg": "2002-03-01", 
    "description": "Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data, abstract data types 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 demonstrates the power of the program transformation system as well as its theorem prover and discusses some future works.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/bf03037260", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1053619", 
        "issn": [
          "0288-3635", 
          "1882-7055"
        ], 
        "name": "New Generation Computing", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "1", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "20"
      }
    ], 
    "name": "Program transformation system based on generalized partial computation", 
    "pagination": "75-99", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "002b85a7ada86a069ddba066afce93950d0874e361fbe29e0194661402717901"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bf03037260"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1000035698"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/bf03037260", 
      "https://app.dimensions.ai/details/publication/pub.1000035698"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T00:08", 
    "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_8695_00000479.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1007/BF03037260"
  }
]
 

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

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

Turtle is a human-readable linked data format.

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

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

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


 

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

122 TRIPLES      21 PREDICATES      40 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bf03037260 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author Nf49e51fb5a4248c1953cce15cd88cd0c
4 schema:citation sg:pub.10.1007/3-540-36377-7_15
5 sg:pub.10.1007/3-540-57264-3_34
6 sg:pub.10.1023/a:1010043619517
7 sg:pub.10.1023/a:1010095604496
8 https://doi.org/10.1016/0304-3975(91)90299-h
9 https://doi.org/10.1016/b978-0-08-091728-3.50009-6
10 https://doi.org/10.1017/s0956796800002008
11 https://doi.org/10.1145/234528.234529
12 https://doi.org/10.1145/243439.243447
13 https://doi.org/10.1145/321992.321996
14 https://doi.org/10.1145/359842.359859
15 https://doi.org/10.1145/359863.359889
16 https://doi.org/10.1145/5956.5957
17 schema:datePublished 2002-03
18 schema:datePublishedReg 2002-03-01
19 schema:description Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data, abstract data types 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 demonstrates the power of the program transformation system as well as its theorem prover and discusses some future works.
20 schema:genre research_article
21 schema:inLanguage en
22 schema:isAccessibleForFree false
23 schema:isPartOf N2b04fba0162143fbbbb91daf662ef6d4
24 N9e7ce54e29de4582858cb0d2d536e229
25 sg:journal.1053619
26 schema:name Program transformation system based on generalized partial computation
27 schema:pagination 75-99
28 schema:productId N379c771567bd4ff9a4eb56719ae79fa4
29 N3eb45fa9c7f24403a87bbac36613a0ba
30 N61f3aa627a71425abec6208ef2a57bc7
31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000035698
32 https://doi.org/10.1007/bf03037260
33 schema:sdDatePublished 2019-04-11T00:08
34 schema:sdLicense https://scigraph.springernature.com/explorer/license/
35 schema:sdPublisher Nbf910e202bf14d5fa77538b7ee5b6721
36 schema:url http://link.springer.com/10.1007/BF03037260
37 sgo:license sg:explorer/license/
38 sgo:sdDataset articles
39 rdf:type schema:ScholarlyArticle
40 N2034044e5de74dc3a0164a2264fc2566 rdf:first sg:person.010754010217.31
41 rdf:rest rdf:nil
42 N2b04fba0162143fbbbb91daf662ef6d4 schema:issueNumber 1
43 rdf:type schema:PublicationIssue
44 N379c771567bd4ff9a4eb56719ae79fa4 schema:name readcube_id
45 schema:value 002b85a7ada86a069ddba066afce93950d0874e361fbe29e0194661402717901
46 rdf:type schema:PropertyValue
47 N3eb45fa9c7f24403a87bbac36613a0ba schema:name dimensions_id
48 schema:value pub.1000035698
49 rdf:type schema:PropertyValue
50 N61f3aa627a71425abec6208ef2a57bc7 schema:name doi
51 schema:value 10.1007/bf03037260
52 rdf:type schema:PropertyValue
53 N9e7ce54e29de4582858cb0d2d536e229 schema:volumeNumber 20
54 rdf:type schema:PublicationVolume
55 Nb9202b36f4164f58a7e53e1f389ae4ae rdf:first sg:person.07647053247.31
56 rdf:rest N2034044e5de74dc3a0164a2264fc2566
57 Nbf910e202bf14d5fa77538b7ee5b6721 schema:name Springer Nature - SN SciGraph project
58 rdf:type schema:Organization
59 Nf49e51fb5a4248c1953cce15cd88cd0c rdf:first sg:person.016641004255.43
60 rdf:rest Nb9202b36f4164f58a7e53e1f389ae4ae
61 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
62 schema:name Information and Computing Sciences
63 rdf:type schema:DefinedTerm
64 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
65 schema:name Computation Theory and Mathematics
66 rdf:type schema:DefinedTerm
67 sg:journal.1053619 schema:issn 0288-3635
68 1882-7055
69 schema:name New Generation Computing
70 rdf:type schema:Periodical
71 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.419082.6
72 schema:familyName Glück
73 schema:givenName Robert
74 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
75 rdf:type schema:Person
76 sg:person.016641004255.43 schema:affiliation https://www.grid.ac/institutes/grid.5290.e
77 schema:familyName Futamura
78 schema:givenName Yoshihiko
79 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016641004255.43
80 rdf:type schema:Person
81 sg:person.07647053247.31 schema:affiliation https://www.grid.ac/institutes/grid.5290.e
82 schema:familyName Konishi
83 schema:givenName Zenjiro
84 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07647053247.31
85 rdf:type schema:Person
86 sg:pub.10.1007/3-540-36377-7_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027040707
87 https://doi.org/10.1007/3-540-36377-7_15
88 rdf:type schema:CreativeWork
89 sg:pub.10.1007/3-540-57264-3_34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003987904
90 https://doi.org/10.1007/3-540-57264-3_34
91 rdf:type schema:CreativeWork
92 sg:pub.10.1023/a:1010043619517 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044077633
93 https://doi.org/10.1023/a:1010043619517
94 rdf:type schema:CreativeWork
95 sg:pub.10.1023/a:1010095604496 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033988174
96 https://doi.org/10.1023/a:1010095604496
97 rdf:type schema:CreativeWork
98 https://doi.org/10.1016/0304-3975(91)90299-h schema:sameAs https://app.dimensions.ai/details/publication/pub.1012630910
99 rdf:type schema:CreativeWork
100 https://doi.org/10.1016/b978-0-08-091728-3.50009-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049697336
101 rdf:type schema:CreativeWork
102 https://doi.org/10.1017/s0956796800002008 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042426034
103 rdf:type schema:CreativeWork
104 https://doi.org/10.1145/234528.234529 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014217933
105 rdf:type schema:CreativeWork
106 https://doi.org/10.1145/243439.243447 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044606828
107 rdf:type schema:CreativeWork
108 https://doi.org/10.1145/321992.321996 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046318040
109 rdf:type schema:CreativeWork
110 https://doi.org/10.1145/359842.359859 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051315984
111 rdf:type schema:CreativeWork
112 https://doi.org/10.1145/359863.359889 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043257800
113 rdf:type schema:CreativeWork
114 https://doi.org/10.1145/5956.5957 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016193336
115 rdf:type schema:CreativeWork
116 https://www.grid.ac/institutes/grid.419082.6 schema:alternateName Japan Science and Technology Agency
117 schema:name PRESTO, JST, Japan
118 Waseda University, 3-4-1 Okubo, Shinjuku, 169-8555, Tokyo, Japan
119 rdf:type schema:Organization
120 https://www.grid.ac/institutes/grid.5290.e schema:alternateName Waseda University
121 schema:name Waseda University, 3-4-1 Okubo, Shinjuku, 169-8555, Tokyo, Japan
122 rdf:type schema:Organization
 




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


...