A Self-Applicable supercompiler View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1996

AUTHORS

Andrei P. Nemytykh , Victoria A. Pinchuk , Valentin F. Turchin

ABSTRACT

A supercompiler is a program which can perform a deep transformation of programs using a principle which is similar to partial evaluation, and can be referred to as metacomputation. Supercompilers that have been in existence up to now (see [12], [13]) were not self-applicable: this is a more difficult problem than self-application of a partial evaluator, because of the more intricate logic of supercompilation. In the present paper we describe the first self-applicable model of a supercompiler and present some tests. Three features distinguish it from the previous models and make self-application possible: (1) The input language is a subset of Refal which we refer to as flat Refal. (2) The process of driving is performed as a transformation of pattern-matching graphs. (3) Metasystem jumps are implemented, which allows the supercompiler to avoid interpretation whenever direct computation is possible. More... »

PAGES

322-337

Book

TITLE

Partial Evaluation

ISBN

978-3-540-61580-4
978-3-540-70589-5

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-61580-6_16

DOI

http://dx.doi.org/10.1007/3-540-61580-6_16

DIMENSIONS

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


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/22", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Philosophy and Religious Studies", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2203", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Philosophy", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Programming Systems Institute, Pereslavl-Zalesski, Russia", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Programming Systems Institute, Pereslavl-Zalesski, 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": "Programming Systems Institute, Pereslavl-Zalesski, Russia", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Programming Systems Institute, Pereslavl-Zalesski, 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"
      }, 
      {
        "affiliation": {
          "alternateName": "The City College of New York, USA", 
          "id": "http://www.grid.ac/institutes/grid.254250.4", 
          "name": [
            "The City College of New York, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Turchin", 
        "givenName": "Valentin F.", 
        "id": "sg:person.016540237767.41", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016540237767.41"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1996", 
    "datePublishedReg": "1996-01-01", 
    "description": "A supercompiler is a program which can perform a deep transformation of programs using a principle which is similar to partial evaluation, and can be referred to as metacomputation. Supercompilers that have been in existence up to now (see [12], [13]) were not self-applicable: this is a more difficult problem than self-application of a partial evaluator, because of the more intricate logic of supercompilation. In the present paper we describe the first self-applicable model of a supercompiler and present some tests. Three features distinguish it from the previous models and make self-application possible: (1) The input language is a subset of Refal which we refer to as flat Refal. (2) The process of driving is performed as a transformation of pattern-matching graphs. (3) Metasystem jumps are implemented, which allows the supercompiler to avoid interpretation whenever direct computation is possible.", 
    "editor": [
      {
        "familyName": "Danvy", 
        "givenName": "Olivier", 
        "type": "Person"
      }, 
      {
        "familyName": "Gl\u00fcck", 
        "givenName": "Robert", 
        "type": "Person"
      }, 
      {
        "familyName": "Thiemann", 
        "givenName": "Peter", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-61580-6_16", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-61580-4", 
        "978-3-540-70589-5"
      ], 
      "name": "Partial Evaluation", 
      "type": "Book"
    }, 
    "keywords": [
      "program", 
      "subset", 
      "evaluation", 
      "test", 
      "evaluators", 
      "model", 
      "features", 
      "difficult problem", 
      "direct computation", 
      "REFAL", 
      "interpretation", 
      "previous models", 
      "driving", 
      "present paper", 
      "process of driving", 
      "process", 
      "transformation", 
      "problem", 
      "existence", 
      "computation", 
      "input language", 
      "graph", 
      "principles", 
      "jump", 
      "partial evaluation", 
      "partial evaluator", 
      "supercompiler", 
      "intricate logic", 
      "language", 
      "metacomputation", 
      "logic", 
      "deep transformation", 
      "paper", 
      "supercompilation"
    ], 
    "name": "A Self-Applicable supercompiler", 
    "pagination": "322-337", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1019454974"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-61580-6_16"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-61580-6_16", 
      "https://app.dimensions.ai/details/publication/pub.1019454974"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-10T10:36", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220509/entities/gbq_results/chapter/chapter_102.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-61580-6_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-61580-6_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-61580-6_16'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-61580-6_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-61580-6_16'


 

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

121 TRIPLES      23 PREDICATES      60 URIs      53 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-61580-6_16 schema:about anzsrc-for:22
2 anzsrc-for:2203
3 schema:author N398df60506354946a939b44b3288afed
4 schema:datePublished 1996
5 schema:datePublishedReg 1996-01-01
6 schema:description A supercompiler is a program which can perform a deep transformation of programs using a principle which is similar to partial evaluation, and can be referred to as metacomputation. Supercompilers that have been in existence up to now (see [12], [13]) were not self-applicable: this is a more difficult problem than self-application of a partial evaluator, because of the more intricate logic of supercompilation. In the present paper we describe the first self-applicable model of a supercompiler and present some tests. Three features distinguish it from the previous models and make self-application possible: (1) The input language is a subset of Refal which we refer to as flat Refal. (2) The process of driving is performed as a transformation of pattern-matching graphs. (3) Metasystem jumps are implemented, which allows the supercompiler to avoid interpretation whenever direct computation is possible.
7 schema:editor N78006bf71c9e4e55a158a15ffc8b06d9
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N058726075827458e9bd99f72a970790e
12 schema:keywords REFAL
13 computation
14 deep transformation
15 difficult problem
16 direct computation
17 driving
18 evaluation
19 evaluators
20 existence
21 features
22 graph
23 input language
24 interpretation
25 intricate logic
26 jump
27 language
28 logic
29 metacomputation
30 model
31 paper
32 partial evaluation
33 partial evaluator
34 present paper
35 previous models
36 principles
37 problem
38 process
39 process of driving
40 program
41 subset
42 supercompilation
43 supercompiler
44 test
45 transformation
46 schema:name A Self-Applicable supercompiler
47 schema:pagination 322-337
48 schema:productId N0d3ca0a0a59f4db4b8e3a9de33c875c6
49 Nc19f1e4d736d43a49ed82373adbfdccb
50 schema:publisher Nb282e6baa866401e8e288d9e33bec7fe
51 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019454974
52 https://doi.org/10.1007/3-540-61580-6_16
53 schema:sdDatePublished 2022-05-10T10:36
54 schema:sdLicense https://scigraph.springernature.com/explorer/license/
55 schema:sdPublisher Nc03aad8f690f42568907b2d08154fe50
56 schema:url https://doi.org/10.1007/3-540-61580-6_16
57 sgo:license sg:explorer/license/
58 sgo:sdDataset chapters
59 rdf:type schema:Chapter
60 N058726075827458e9bd99f72a970790e schema:isbn 978-3-540-61580-4
61 978-3-540-70589-5
62 schema:name Partial Evaluation
63 rdf:type schema:Book
64 N0d3ca0a0a59f4db4b8e3a9de33c875c6 schema:name dimensions_id
65 schema:value pub.1019454974
66 rdf:type schema:PropertyValue
67 N12b95bb446c747d191123220f1759132 schema:familyName Danvy
68 schema:givenName Olivier
69 rdf:type schema:Person
70 N2f6f72d3c3e74935b4bcdcdc1038cc01 rdf:first N5089bb168bb447df96d96437d4103097
71 rdf:rest rdf:nil
72 N328b67e9ab00410bb9b9aae24ead3df1 rdf:first N9980de1627224647ad06d6a72596385b
73 rdf:rest N2f6f72d3c3e74935b4bcdcdc1038cc01
74 N36688d18c1394e49b3c94b8df0460793 rdf:first sg:person.016453755153.38
75 rdf:rest Nb6ae348b3fdc4b78b08239130898aea5
76 N398df60506354946a939b44b3288afed rdf:first sg:person.014244604173.11
77 rdf:rest N36688d18c1394e49b3c94b8df0460793
78 N5089bb168bb447df96d96437d4103097 schema:familyName Thiemann
79 schema:givenName Peter
80 rdf:type schema:Person
81 N78006bf71c9e4e55a158a15ffc8b06d9 rdf:first N12b95bb446c747d191123220f1759132
82 rdf:rest N328b67e9ab00410bb9b9aae24ead3df1
83 N9980de1627224647ad06d6a72596385b schema:familyName Glück
84 schema:givenName Robert
85 rdf:type schema:Person
86 Nb282e6baa866401e8e288d9e33bec7fe schema:name Springer Nature
87 rdf:type schema:Organisation
88 Nb6ae348b3fdc4b78b08239130898aea5 rdf:first sg:person.016540237767.41
89 rdf:rest rdf:nil
90 Nc03aad8f690f42568907b2d08154fe50 schema:name Springer Nature - SN SciGraph project
91 rdf:type schema:Organization
92 Nc19f1e4d736d43a49ed82373adbfdccb schema:name doi
93 schema:value 10.1007/3-540-61580-6_16
94 rdf:type schema:PropertyValue
95 anzsrc-for:22 schema:inDefinedTermSet anzsrc-for:
96 schema:name Philosophy and Religious Studies
97 rdf:type schema:DefinedTerm
98 anzsrc-for:2203 schema:inDefinedTermSet anzsrc-for:
99 schema:name Philosophy
100 rdf:type schema:DefinedTerm
101 sg:person.014244604173.11 schema:affiliation grid-institutes:None
102 schema:familyName Nemytykh
103 schema:givenName Andrei P.
104 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014244604173.11
105 rdf:type schema:Person
106 sg:person.016453755153.38 schema:affiliation grid-institutes:None
107 schema:familyName Pinchuk
108 schema:givenName Victoria A.
109 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016453755153.38
110 rdf:type schema:Person
111 sg:person.016540237767.41 schema:affiliation grid-institutes:grid.254250.4
112 schema:familyName Turchin
113 schema:givenName Valentin F.
114 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016540237767.41
115 rdf:type schema:Person
116 grid-institutes:None schema:alternateName Programming Systems Institute, Pereslavl-Zalesski, Russia
117 schema:name Programming Systems Institute, Pereslavl-Zalesski, Russia
118 rdf:type schema:Organization
119 grid-institutes:grid.254250.4 schema:alternateName The City College of New York, USA
120 schema:name The City College of New York, USA
121 rdf:type schema:Organization
 




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


...