Program transformation with metasystem transitions: Experiments with a supercompiler View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1996

AUTHORS

Andrei P. Nemytykh , Victoria A. Pinchuk

ABSTRACT

Turchin's supercompilation is a program transformation technique for functional languages. A supercompiler is a program which can perform a deep transformation of programs using a principle which is similar to partial evaluation.In the present paper we use a supercompiler, which V.F. Turchin and we have described in [22], [23]. The aim of our investigation has been to show, what deep changes (w.r.t. run time) in the programs can be achieved by supercompilation.In [21] V.F. Turchin presented a method to improve the transformational power of supercompilation without modifying the transformation system. We use this idea to show both the power of the method and abilities of our supercompiler. Our examples include a generation of both one-step unfolding and instantiations, lazy evaluation, inverse evaluation. More... »

PAGES

249-260

Book

TITLE

Perspectives of System Informatics

ISBN

978-3-540-62064-8
978-3-540-49637-3

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-62064-8_21

DOI

http://dx.doi.org/10.1007/3-540-62064-8_21

DIMENSIONS

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


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/11", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Medical and Health Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1117", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Public Health and Health Services", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Program Systems Institute, Pereslavl-Zalesski, 152140, Yaroslavl Region, Russia", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Program Systems Institute, Pereslavl-Zalesski, 152140, Yaroslavl Region, Russia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Nemytykh", 
        "givenName": "Andrei P.", 
        "id": "sg:person.014244604173.11", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014244604173.11"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Program Systems Institute, Pereslavl-Zalesski, 152140, Yaroslavl Region, Russia", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Program Systems Institute, Pereslavl-Zalesski, 152140, Yaroslavl Region, Russia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Pinchuk", 
        "givenName": "Victoria A.", 
        "id": "sg:person.016453755153.38", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016453755153.38"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1996", 
    "datePublishedReg": "1996-01-01", 
    "description": "Turchin's supercompilation is a program transformation technique for functional languages. A supercompiler is a program which can perform a deep transformation of programs using a principle which is similar to partial evaluation.In the present paper we use a supercompiler, which V.F. Turchin and we have described in [22], [23]. The aim of our investigation has been to show, what deep changes (w.r.t. run time) in the programs can be achieved by supercompilation.In [21] V.F. Turchin presented a method to improve the transformational power of supercompilation without modifying the transformation system. We use this idea to show both the power of the method and abilities of our supercompiler. Our examples include a generation of both one-step unfolding and instantiations, lazy evaluation, inverse evaluation.", 
    "editor": [
      {
        "familyName": "Bj\u00f8rner", 
        "givenName": "Dines", 
        "type": "Person"
      }, 
      {
        "familyName": "Broy", 
        "givenName": "Manfred", 
        "type": "Person"
      }, 
      {
        "familyName": "Pottosin", 
        "givenName": "Igor V.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-62064-8_21", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-62064-8", 
        "978-3-540-49637-3"
      ], 
      "name": "Perspectives of System Informatics", 
      "type": "Book"
    }, 
    "keywords": [
      "evaluation", 
      "program", 
      "aim", 
      "changes", 
      "ability", 
      "investigation", 
      "method", 
      "technique", 
      "generation", 
      "system", 
      "transformation", 
      "experiments", 
      "present paper", 
      "supercompilation", 
      "principles", 
      "deep changes", 
      "language", 
      "partial evaluation", 
      "power", 
      "transition", 
      "example", 
      "idea", 
      "supercompiler", 
      "transformational power", 
      "transformation system", 
      "paper", 
      "unfolding", 
      "deep transformation", 
      "lazy evaluation", 
      "transformation technique", 
      "functional language", 
      "program transformation techniques", 
      "instantiation", 
      "inverse evaluation", 
      "program transformations", 
      "Turchin's supercompilation", 
      "V.F. Turchin", 
      "Turchin", 
      "one-step unfolding", 
      "metasystem transitions"
    ], 
    "name": "Program transformation with metasystem transitions: Experiments with a supercompiler", 
    "pagination": "249-260", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1007045901"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-62064-8_21"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-62064-8_21", 
      "https://app.dimensions.ai/details/publication/pub.1007045901"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-12-01T20:10", 
    "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/chapter/chapter_441.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-62064-8_21"
  }
]
 

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-62064-8_21'

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-62064-8_21'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-62064-8_21'

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-62064-8_21'


 

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

117 TRIPLES      23 PREDICATES      66 URIs      59 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-62064-8_21 schema:about anzsrc-for:11
2 anzsrc-for:1117
3 schema:author N37923cdecec34bda92955f26bbf0d617
4 schema:datePublished 1996
5 schema:datePublishedReg 1996-01-01
6 schema:description Turchin's supercompilation is a program transformation technique for functional languages. A supercompiler is a program which can perform a deep transformation of programs using a principle which is similar to partial evaluation.In the present paper we use a supercompiler, which V.F. Turchin and we have described in [22], [23]. The aim of our investigation has been to show, what deep changes (w.r.t. run time) in the programs can be achieved by supercompilation.In [21] V.F. Turchin presented a method to improve the transformational power of supercompilation without modifying the transformation system. We use this idea to show both the power of the method and abilities of our supercompiler. Our examples include a generation of both one-step unfolding and instantiations, lazy evaluation, inverse evaluation.
7 schema:editor N51d6ee0bf282440a86806c53f53ff04d
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N9a340052999b4f45aedd5d1b7c65b94b
12 schema:keywords Turchin
13 Turchin's supercompilation
14 V.F. Turchin
15 ability
16 aim
17 changes
18 deep changes
19 deep transformation
20 evaluation
21 example
22 experiments
23 functional language
24 generation
25 idea
26 instantiation
27 inverse evaluation
28 investigation
29 language
30 lazy evaluation
31 metasystem transitions
32 method
33 one-step unfolding
34 paper
35 partial evaluation
36 power
37 present paper
38 principles
39 program
40 program transformation techniques
41 program transformations
42 supercompilation
43 supercompiler
44 system
45 technique
46 transformation
47 transformation system
48 transformation technique
49 transformational power
50 transition
51 unfolding
52 schema:name Program transformation with metasystem transitions: Experiments with a supercompiler
53 schema:pagination 249-260
54 schema:productId N0f686405a81942438092fb0bf756cd77
55 Ncbc26f738b864ad2ac969c82568c76ca
56 schema:publisher Nb916337c7b1c4f04a36790ce787bbdf5
57 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007045901
58 https://doi.org/10.1007/3-540-62064-8_21
59 schema:sdDatePublished 2021-12-01T20:10
60 schema:sdLicense https://scigraph.springernature.com/explorer/license/
61 schema:sdPublisher Nf0a57807583b49c88581985abe11a021
62 schema:url https://doi.org/10.1007/3-540-62064-8_21
63 sgo:license sg:explorer/license/
64 sgo:sdDataset chapters
65 rdf:type schema:Chapter
66 N05f2fb7114d749d89514f2e5fed7c9b8 rdf:first sg:person.016453755153.38
67 rdf:rest rdf:nil
68 N0f686405a81942438092fb0bf756cd77 schema:name dimensions_id
69 schema:value pub.1007045901
70 rdf:type schema:PropertyValue
71 N239222e95150458a866d9807b234fdc4 rdf:first N5d57ef0eed0d473d938f5f66a61b090f
72 rdf:rest Ne32e92687cd944af9ddd33947bc90c1d
73 N25a3ac397c21492fb46fd2cbcb5f2a3a schema:familyName Pottosin
74 schema:givenName Igor V.
75 rdf:type schema:Person
76 N37923cdecec34bda92955f26bbf0d617 rdf:first sg:person.014244604173.11
77 rdf:rest N05f2fb7114d749d89514f2e5fed7c9b8
78 N51d6ee0bf282440a86806c53f53ff04d rdf:first N5b57fb6b855642718d2f895eefbb4ea5
79 rdf:rest N239222e95150458a866d9807b234fdc4
80 N5b57fb6b855642718d2f895eefbb4ea5 schema:familyName Bjørner
81 schema:givenName Dines
82 rdf:type schema:Person
83 N5d57ef0eed0d473d938f5f66a61b090f schema:familyName Broy
84 schema:givenName Manfred
85 rdf:type schema:Person
86 N9a340052999b4f45aedd5d1b7c65b94b schema:isbn 978-3-540-49637-3
87 978-3-540-62064-8
88 schema:name Perspectives of System Informatics
89 rdf:type schema:Book
90 Nb916337c7b1c4f04a36790ce787bbdf5 schema:name Springer Nature
91 rdf:type schema:Organisation
92 Ncbc26f738b864ad2ac969c82568c76ca schema:name doi
93 schema:value 10.1007/3-540-62064-8_21
94 rdf:type schema:PropertyValue
95 Ne32e92687cd944af9ddd33947bc90c1d rdf:first N25a3ac397c21492fb46fd2cbcb5f2a3a
96 rdf:rest rdf:nil
97 Nf0a57807583b49c88581985abe11a021 schema:name Springer Nature - SN SciGraph project
98 rdf:type schema:Organization
99 anzsrc-for:11 schema:inDefinedTermSet anzsrc-for:
100 schema:name Medical and Health Sciences
101 rdf:type schema:DefinedTerm
102 anzsrc-for:1117 schema:inDefinedTermSet anzsrc-for:
103 schema:name Public Health and Health Services
104 rdf:type schema:DefinedTerm
105 sg:person.014244604173.11 schema:affiliation grid-institutes:None
106 schema:familyName Nemytykh
107 schema:givenName Andrei P.
108 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014244604173.11
109 rdf:type schema:Person
110 sg:person.016453755153.38 schema:affiliation grid-institutes:None
111 schema:familyName Pinchuk
112 schema:givenName Victoria A.
113 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016453755153.38
114 rdf:type schema:Person
115 grid-institutes:None schema:alternateName Program Systems Institute, Pereslavl-Zalesski, 152140, Yaroslavl Region, Russia
116 schema:name Program Systems Institute, Pereslavl-Zalesski, 152140, Yaroslavl Region, Russia
117 rdf:type schema:Organization
 




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


...