Program transformation system based on generalized partial computation View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2002-03-01

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/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Waseda University, 3-4-1 Okubo, Shinjuku, 169-8555, Tokyo, Japan", 
          "id": "http://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, 3-4-1 Okubo, Shinjuku, 169-8555, Tokyo, Japan", 
          "id": "http://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": "PRESTO, JST, Japan", 
          "id": "http://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.1023/a:1010095604496", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1033988174", 
          "https://doi.org/10.1023/a:1010095604496"
        ], 
        "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:1010043619517", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1044077633", 
          "https://doi.org/10.1023/a:1010043619517"
        ], 
        "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"
      }
    ], 
    "datePublished": "2002-03-01", 
    "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": "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", 
        "publisher": "Springer Nature", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "1", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "20"
      }
    ], 
    "keywords": [
      "auxiliary functions", 
      "partial information", 
      "partial computation", 
      "transformation method", 
      "theorem", 
      "abstract data types", 
      "GPC system", 
      "computation", 
      "input data", 
      "data types", 
      "logical structure", 
      "inference engine", 
      "system", 
      "GPC", 
      "function", 
      "future work", 
      "source program", 
      "power", 
      "work", 
      "structure", 
      "engine", 
      "information", 
      "transformation system", 
      "data", 
      "types", 
      "program", 
      "evaluators", 
      "partial evaluator", 
      "method", 
      "program transformation system", 
      "Generalized Partial Computation", 
      "program transformation method", 
      "paper", 
      "classical partial evaluator", 
      "experimental GPC system", 
      "WSDFU"
    ], 
    "name": "Program transformation system based on generalized partial computation", 
    "pagination": "75-99", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1000035698"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bf03037260"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/bf03037260", 
      "https://app.dimensions.ai/details/publication/pub.1000035698"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2021-12-01T19:14", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/article/article_348.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://doi.org/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.

128 TRIPLES      22 PREDICATES      65 URIs      53 LITERALS      6 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bf03037260 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author N718bde1ac7244c25ab1595e1d9267340
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 schema:datePublished 2002-03-01
9 schema:datePublishedReg 2002-03-01
10 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.
11 schema:genre article
12 schema:inLanguage en
13 schema:isAccessibleForFree false
14 schema:isPartOf N376ca19323ba489ab27807d210217e15
15 N7ac57b38951b4d6297077283cd51ad70
16 sg:journal.1053619
17 schema:keywords GPC
18 GPC system
19 Generalized Partial Computation
20 WSDFU
21 abstract data types
22 auxiliary functions
23 classical partial evaluator
24 computation
25 data
26 data types
27 engine
28 evaluators
29 experimental GPC system
30 function
31 future work
32 inference engine
33 information
34 input data
35 logical structure
36 method
37 paper
38 partial computation
39 partial evaluator
40 partial information
41 power
42 program
43 program transformation method
44 program transformation system
45 source program
46 structure
47 system
48 theorem
49 transformation method
50 transformation system
51 types
52 work
53 schema:name Program transformation system based on generalized partial computation
54 schema:pagination 75-99
55 schema:productId Nbfa35459c98747aba2fc03346698d2fb
56 Ncaa4266feff444abaef7be03b4d32824
57 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000035698
58 https://doi.org/10.1007/bf03037260
59 schema:sdDatePublished 2021-12-01T19:14
60 schema:sdLicense https://scigraph.springernature.com/explorer/license/
61 schema:sdPublisher Nd2eca924e43246fda72b19e9debfd4b2
62 schema:url https://doi.org/10.1007/bf03037260
63 sgo:license sg:explorer/license/
64 sgo:sdDataset articles
65 rdf:type schema:ScholarlyArticle
66 N376ca19323ba489ab27807d210217e15 schema:volumeNumber 20
67 rdf:type schema:PublicationVolume
68 N718bde1ac7244c25ab1595e1d9267340 rdf:first sg:person.016641004255.43
69 rdf:rest Ne4229e6434ce4597a0628bb37abc2d6c
70 N7ac57b38951b4d6297077283cd51ad70 schema:issueNumber 1
71 rdf:type schema:PublicationIssue
72 N84c1bee0a2f340388a4a5502e4d37e1d rdf:first sg:person.010754010217.31
73 rdf:rest rdf:nil
74 Nbfa35459c98747aba2fc03346698d2fb schema:name doi
75 schema:value 10.1007/bf03037260
76 rdf:type schema:PropertyValue
77 Ncaa4266feff444abaef7be03b4d32824 schema:name dimensions_id
78 schema:value pub.1000035698
79 rdf:type schema:PropertyValue
80 Nd2eca924e43246fda72b19e9debfd4b2 schema:name Springer Nature - SN SciGraph project
81 rdf:type schema:Organization
82 Ne4229e6434ce4597a0628bb37abc2d6c rdf:first sg:person.07647053247.31
83 rdf:rest N84c1bee0a2f340388a4a5502e4d37e1d
84 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
85 schema:name Information and Computing Sciences
86 rdf:type schema:DefinedTerm
87 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
88 schema:name Computation Theory and Mathematics
89 rdf:type schema:DefinedTerm
90 sg:journal.1053619 schema:issn 0288-3635
91 1882-7055
92 schema:name New Generation Computing
93 schema:publisher Springer Nature
94 rdf:type schema:Periodical
95 sg:person.010754010217.31 schema:affiliation grid-institutes:grid.419082.6
96 schema:familyName Glück
97 schema:givenName Robert
98 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
99 rdf:type schema:Person
100 sg:person.016641004255.43 schema:affiliation grid-institutes:grid.5290.e
101 schema:familyName Futamura
102 schema:givenName Yoshihiko
103 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016641004255.43
104 rdf:type schema:Person
105 sg:person.07647053247.31 schema:affiliation grid-institutes:grid.5290.e
106 schema:familyName Konishi
107 schema:givenName Zenjiro
108 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07647053247.31
109 rdf:type schema:Person
110 sg:pub.10.1007/3-540-36377-7_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027040707
111 https://doi.org/10.1007/3-540-36377-7_15
112 rdf:type schema:CreativeWork
113 sg:pub.10.1007/3-540-57264-3_34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003987904
114 https://doi.org/10.1007/3-540-57264-3_34
115 rdf:type schema:CreativeWork
116 sg:pub.10.1023/a:1010043619517 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044077633
117 https://doi.org/10.1023/a:1010043619517
118 rdf:type schema:CreativeWork
119 sg:pub.10.1023/a:1010095604496 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033988174
120 https://doi.org/10.1023/a:1010095604496
121 rdf:type schema:CreativeWork
122 grid-institutes:grid.419082.6 schema:alternateName PRESTO, JST, Japan
123 schema:name PRESTO, JST, Japan
124 Waseda University, 3-4-1 Okubo, Shinjuku, 169-8555, Tokyo, Japan
125 rdf:type schema:Organization
126 grid-institutes:grid.5290.e schema:alternateName Waseda University, 3-4-1 Okubo, Shinjuku, 169-8555, Tokyo, Japan
127 schema:name Waseda University, 3-4-1 Okubo, Shinjuku, 169-8555, Tokyo, Japan
128 rdf:type schema:Organization
 




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


...