WSDFU: Program Transformation System Based on Generalized Partial Computation View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2002

AUTHORS

Yoshihiko Futamura , Zenjiro Konishi , Robert Glück2

ABSTRACT

Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data and auxiliary functions as well as 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

358-378

References to SciGraph publications

Book

TITLE

The Essence of Computation

ISBN

978-3-540-00326-7

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-36377-7_16

DOI

http://dx.doi.org/10.1007/3-540-36377-7_16

DIMENSIONS

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


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": [
            "Waseda University, 3-4-1 Okubo, Shinjuku, Tokyo\u00a0169-8555, 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, Tokyo\u00a0169-8555, 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": [
            "PRESTO, JST & Waseda University, 3-4-1 Okubo, Shinjuku, Tokyo\u00a0169-8555, Japan"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Gl\u00fcck2", 
        "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/bf03037260", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1000035698", 
          "https://doi.org/10.1007/bf03037260"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "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": "sg:pub.10.1007/3-540-11607-9_31", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1015278509", 
          "https://doi.org/10.1007/3-540-11607-9_31"
        ], 
        "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.1145/568173.568174", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1046476890"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2002", 
    "datePublishedReg": "2002-01-01", 
    "description": "Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data and auxiliary functions as well as 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.", 
    "editor": [
      {
        "familyName": "Mogensen", 
        "givenName": "Torben \u00c6.", 
        "type": "Person"
      }, 
      {
        "familyName": "Schmidt", 
        "givenName": "David A.", 
        "type": "Person"
      }, 
      {
        "familyName": "Sudborough", 
        "givenName": "I. Hal", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-36377-7_16", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-00326-7"
      ], 
      "name": "The Essence of Computation", 
      "type": "Book"
    }, 
    "name": "WSDFU: Program Transformation System Based on Generalized Partial Computation", 
    "pagination": "358-378", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-36377-7_16"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "5aa37f034f66b89399a55bff07bd79918a79ff2b39d37546358cb7bee5d61941"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1019023069"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-36377-7_16", 
      "https://app.dimensions.ai/details/publication/pub.1019023069"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T21:57", 
    "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_8693_00000255.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/3-540-36377-7_16"
  }
]
 

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-36377-7_16'

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-36377-7_16'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-36377-7_16'

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-36377-7_16'


 

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

137 TRIPLES      23 PREDICATES      41 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-36377-7_16 schema:about anzsrc-for:21
2 anzsrc-for:2103
3 schema:author N7a65a640ace14abeb9341a95963bebed
4 schema:citation sg:pub.10.1007/3-540-11607-9_31
5 sg:pub.10.1007/3-540-36377-7_15
6 sg:pub.10.1007/3-540-57264-3_34
7 sg:pub.10.1007/bf03037260
8 sg:pub.10.1023/a:1010043619517
9 sg:pub.10.1023/a:1010095604496
10 https://doi.org/10.1016/0304-3975(91)90299-h
11 https://doi.org/10.1017/s0956796800002008
12 https://doi.org/10.1145/234528.234529
13 https://doi.org/10.1145/243439.243447
14 https://doi.org/10.1145/321992.321996
15 https://doi.org/10.1145/359863.359889
16 https://doi.org/10.1145/568173.568174
17 https://doi.org/10.1145/5956.5957
18 schema:datePublished 2002
19 schema:datePublishedReg 2002-01-01
20 schema:description Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data and auxiliary functions as well as 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.
21 schema:editor N33aa962a70d6461bac9b24ddcfbbaa73
22 schema:genre chapter
23 schema:inLanguage en
24 schema:isAccessibleForFree false
25 schema:isPartOf Nb3fd22708e8b4e539db636c92858dee1
26 schema:name WSDFU: Program Transformation System Based on Generalized Partial Computation
27 schema:pagination 358-378
28 schema:productId N10885912c1474ec8a58941aebf444b8f
29 N3bbe0a6ca83d4e3da0c53bb80b50ba68
30 Nffb4a618789644f689051bd773c5b1d5
31 schema:publisher Nc5b18ef0cdf749abb47393b4e3ab288c
32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019023069
33 https://doi.org/10.1007/3-540-36377-7_16
34 schema:sdDatePublished 2019-04-15T21:57
35 schema:sdLicense https://scigraph.springernature.com/explorer/license/
36 schema:sdPublisher Na6cb1e08f7a2421e86b436f5df5e4497
37 schema:url http://link.springer.com/10.1007/3-540-36377-7_16
38 sgo:license sg:explorer/license/
39 sgo:sdDataset chapters
40 rdf:type schema:Chapter
41 N10885912c1474ec8a58941aebf444b8f schema:name readcube_id
42 schema:value 5aa37f034f66b89399a55bff07bd79918a79ff2b39d37546358cb7bee5d61941
43 rdf:type schema:PropertyValue
44 N1e933b0237874c96a280c156803f6717 rdf:first Nbe9d0066ba77430399fe918a69398a3d
45 rdf:rest rdf:nil
46 N33aa962a70d6461bac9b24ddcfbbaa73 rdf:first N82ed14ed4e7b46069f8851c05b85d74f
47 rdf:rest Nb44b38214ebd41e5bff85efef09d64b3
48 N3bbe0a6ca83d4e3da0c53bb80b50ba68 schema:name dimensions_id
49 schema:value pub.1019023069
50 rdf:type schema:PropertyValue
51 N67cbe4b35bd34754aae3e693329963e5 rdf:first sg:person.010754010217.31
52 rdf:rest rdf:nil
53 N7a65a640ace14abeb9341a95963bebed rdf:first sg:person.016641004255.43
54 rdf:rest N9b9337160ba94fe5a57ad39a9cbeb35b
55 N82ed14ed4e7b46069f8851c05b85d74f schema:familyName Mogensen
56 schema:givenName Torben Æ.
57 rdf:type schema:Person
58 N9b9337160ba94fe5a57ad39a9cbeb35b rdf:first sg:person.07647053247.31
59 rdf:rest N67cbe4b35bd34754aae3e693329963e5
60 Na6cb1e08f7a2421e86b436f5df5e4497 schema:name Springer Nature - SN SciGraph project
61 rdf:type schema:Organization
62 Nb3fd22708e8b4e539db636c92858dee1 schema:isbn 978-3-540-00326-7
63 schema:name The Essence of Computation
64 rdf:type schema:Book
65 Nb44b38214ebd41e5bff85efef09d64b3 rdf:first Nd5ff069579a548a5a2e325cbad19f4a1
66 rdf:rest N1e933b0237874c96a280c156803f6717
67 Nbe9d0066ba77430399fe918a69398a3d schema:familyName Sudborough
68 schema:givenName I. Hal
69 rdf:type schema:Person
70 Nc5b18ef0cdf749abb47393b4e3ab288c schema:location Berlin, Heidelberg
71 schema:name Springer Berlin Heidelberg
72 rdf:type schema:Organisation
73 Nd5ff069579a548a5a2e325cbad19f4a1 schema:familyName Schmidt
74 schema:givenName David A.
75 rdf:type schema:Person
76 Nffb4a618789644f689051bd773c5b1d5 schema:name doi
77 schema:value 10.1007/3-540-36377-7_16
78 rdf:type schema:PropertyValue
79 anzsrc-for:21 schema:inDefinedTermSet anzsrc-for:
80 schema:name History and Archaeology
81 rdf:type schema:DefinedTerm
82 anzsrc-for:2103 schema:inDefinedTermSet anzsrc-for:
83 schema:name Historical Studies
84 rdf:type schema:DefinedTerm
85 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5290.e
86 schema:familyName Glück2
87 schema:givenName Robert
88 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
89 rdf:type schema:Person
90 sg:person.016641004255.43 schema:affiliation https://www.grid.ac/institutes/grid.5290.e
91 schema:familyName Futamura
92 schema:givenName Yoshihiko
93 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016641004255.43
94 rdf:type schema:Person
95 sg:person.07647053247.31 schema:affiliation https://www.grid.ac/institutes/grid.5290.e
96 schema:familyName Konishi
97 schema:givenName Zenjiro
98 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07647053247.31
99 rdf:type schema:Person
100 sg:pub.10.1007/3-540-11607-9_31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015278509
101 https://doi.org/10.1007/3-540-11607-9_31
102 rdf:type schema:CreativeWork
103 sg:pub.10.1007/3-540-36377-7_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027040707
104 https://doi.org/10.1007/3-540-36377-7_15
105 rdf:type schema:CreativeWork
106 sg:pub.10.1007/3-540-57264-3_34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003987904
107 https://doi.org/10.1007/3-540-57264-3_34
108 rdf:type schema:CreativeWork
109 sg:pub.10.1007/bf03037260 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000035698
110 https://doi.org/10.1007/bf03037260
111 rdf:type schema:CreativeWork
112 sg:pub.10.1023/a:1010043619517 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044077633
113 https://doi.org/10.1023/a:1010043619517
114 rdf:type schema:CreativeWork
115 sg:pub.10.1023/a:1010095604496 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033988174
116 https://doi.org/10.1023/a:1010095604496
117 rdf:type schema:CreativeWork
118 https://doi.org/10.1016/0304-3975(91)90299-h schema:sameAs https://app.dimensions.ai/details/publication/pub.1012630910
119 rdf:type schema:CreativeWork
120 https://doi.org/10.1017/s0956796800002008 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042426034
121 rdf:type schema:CreativeWork
122 https://doi.org/10.1145/234528.234529 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014217933
123 rdf:type schema:CreativeWork
124 https://doi.org/10.1145/243439.243447 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044606828
125 rdf:type schema:CreativeWork
126 https://doi.org/10.1145/321992.321996 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046318040
127 rdf:type schema:CreativeWork
128 https://doi.org/10.1145/359863.359889 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043257800
129 rdf:type schema:CreativeWork
130 https://doi.org/10.1145/568173.568174 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046476890
131 rdf:type schema:CreativeWork
132 https://doi.org/10.1145/5956.5957 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016193336
133 rdf:type schema:CreativeWork
134 https://www.grid.ac/institutes/grid.5290.e schema:alternateName Waseda University
135 schema:name PRESTO, JST & Waseda University, 3-4-1 Okubo, Shinjuku, Tokyo 169-8555, Japan
136 Waseda University, 3-4-1 Okubo, Shinjuku, Tokyo 169-8555, Japan
137 rdf:type schema:Organization
 




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


...