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-11-01T18:58", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/chapter/chapter_374.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 N728c2f2ace6e40a7b7cadfb1d5e585e0
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 N17f26af5d3d24aa5bb8f69add8fe104b
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N9e85b49d9470480baf3355ab159f478a
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 N861c8a8ea0c1426d829c6ddd90379dc4
55 Ncfab3fabe9c04fdd8014de5bea98ee21
56 schema:publisher N305d92e40a384c34adfb06fe507cdfb0
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-11-01T18:58
60 schema:sdLicense https://scigraph.springernature.com/explorer/license/
61 schema:sdPublisher Nc9a70d7d8505411fa1cf56bb1fd47428
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 N17f26af5d3d24aa5bb8f69add8fe104b rdf:first N55665571d83b481782432c335eaa585c
67 rdf:rest N9c85868b707d4b71846a0b356a641c13
68 N2f76d3e74d334d2786a26755e36e8c6d schema:familyName Broy
69 schema:givenName Manfred
70 rdf:type schema:Person
71 N305d92e40a384c34adfb06fe507cdfb0 schema:name Springer Nature
72 rdf:type schema:Organisation
73 N55665571d83b481782432c335eaa585c schema:familyName Bjørner
74 schema:givenName Dines
75 rdf:type schema:Person
76 N728c2f2ace6e40a7b7cadfb1d5e585e0 rdf:first sg:person.014244604173.11
77 rdf:rest Nf21f263de24f4171b0ce2a666bc2a671
78 N79f6d49470254e46813055927568aa9e schema:familyName Pottosin
79 schema:givenName Igor V.
80 rdf:type schema:Person
81 N861c8a8ea0c1426d829c6ddd90379dc4 schema:name dimensions_id
82 schema:value pub.1007045901
83 rdf:type schema:PropertyValue
84 N9c85868b707d4b71846a0b356a641c13 rdf:first N2f76d3e74d334d2786a26755e36e8c6d
85 rdf:rest Nac895740f14840719d07a6736addbae6
86 N9e85b49d9470480baf3355ab159f478a 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 Nac895740f14840719d07a6736addbae6 rdf:first N79f6d49470254e46813055927568aa9e
91 rdf:rest rdf:nil
92 Nc9a70d7d8505411fa1cf56bb1fd47428 schema:name Springer Nature - SN SciGraph project
93 rdf:type schema:Organization
94 Ncfab3fabe9c04fdd8014de5bea98ee21 schema:name doi
95 schema:value 10.1007/3-540-62064-8_21
96 rdf:type schema:PropertyValue
97 Nf21f263de24f4171b0ce2a666bc2a671 rdf:first sg:person.016453755153.38
98 rdf:rest rdf:nil
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)


...