Introduction to Supercompilation View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1999

AUTHORS

Morten Heine , B. Sørensen , Robert Glück

ABSTRACT

This paper gives an introduction to Turchin’s supercompiler, a program transformer for functional programs which performs optimizations beyond partial evaluation and deforestation. More precisely, the paper presents positive supercompilation.

PAGES

246-270

References to SciGraph publications

Book

TITLE

Partial Evaluation

ISBN

978-3-540-66710-0
978-3-540-47018-2

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-47018-2_10

DOI

http://dx.doi.org/10.1007/3-540-47018-2_10

DIMENSIONS

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


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", 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Copenhagen", 
          "id": "https://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, DK-2100\u00a0Copenhagen \u00d8, Denmark"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Heine", 
        "givenName": "Morten", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Copenhagen", 
          "id": "https://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, DK-2100\u00a0Copenhagen \u00d8, Denmark"
          ], 
          "type": "Organization"
        }, 
        "familyName": "S\u00f8rensen", 
        "givenName": "B.", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Copenhagen", 
          "id": "https://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, DK-2100\u00a0Copenhagen \u00d8, Denmark"
          ], 
          "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": "https://doi.org/10.1016/s0020-0190(97)00055-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1000980817"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/b978-0-934613-40-8.50019-1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1001378378"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/954063.954069", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1001684884"
        ], 
        "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": "sg:pub.10.1007/3-540-60360-3_46", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1004466873", 
          "https://doi.org/10.1007/3-540-60360-3_46"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0304-3975(83)90059-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1005822774"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/199448.199485", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1006063283"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-61580-6_8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1008923491", 
          "https://doi.org/10.1007/3-540-61580-6_8"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/800068.802134", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1009931835"
        ], 
        "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.1017/s0956796800000757", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1016061186"
        ], 
        "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-59293-8_228", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1019251052", 
          "https://doi.org/10.1007/3-540-59293-8_228"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-61580-6_16", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1019454974", 
          "https://doi.org/10.1007/3-540-61580-6_16"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0304-3975(90)90147-a", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1019824477"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-61580-6_13", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1026756392", 
          "https://doi.org/10.1007/3-540-61580-6_13"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0747-7171(87)80022-6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1026818855"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-58402-1_13", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1026985651", 
          "https://doi.org/10.1007/3-540-58402-1_13"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bfb0032402", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1027875008", 
          "https://doi.org/10.1007/bfb0032402"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bfb0032402", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1027875008", 
          "https://doi.org/10.1007/bfb0032402"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bfb0054297", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1039806702", 
          "https://doi.org/10.1007/bfb0054297"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/s0956796800002008", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1042426034"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-61580-6_24", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1052100186", 
          "https://doi.org/10.1007/3-540-61580-6_24"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1137/0206024", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1062841363"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "1999", 
    "datePublishedReg": "1999-01-01", 
    "description": "This paper gives an introduction to Turchin\u2019s supercompiler, a program transformer for functional programs which performs optimizations beyond partial evaluation and deforestation. More precisely, the paper presents positive supercompilation.", 
    "editor": [
      {
        "familyName": "Hatcliff", 
        "givenName": "John", 
        "type": "Person"
      }, 
      {
        "familyName": "Mogensen", 
        "givenName": "Torben \u00c6", 
        "type": "Person"
      }, 
      {
        "familyName": "Thiemann", 
        "givenName": "Peter", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-47018-2_10", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-66710-0", 
        "978-3-540-47018-2"
      ], 
      "name": "Partial Evaluation", 
      "type": "Book"
    }, 
    "name": "Introduction to Supercompilation", 
    "pagination": "246-270", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-47018-2_10"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "ceb2027ea1cf5ce577f3a61d32261d064411ee2d900e13dc220260e618c2d276"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1043392513"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-47018-2_10", 
      "https://app.dimensions.ai/details/publication/pub.1043392513"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T23:54", 
    "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_8697_00000270.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/3-540-47018-2_10"
  }
]
 

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-47018-2_10'

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-47018-2_10'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-47018-2_10'

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-47018-2_10'


 

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

158 TRIPLES      22 PREDICATES      48 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-47018-2_10 schema:author N9adde457e06440549f4fd01154a82c5f
2 schema:citation sg:pub.10.1007/3-540-57264-3_34
3 sg:pub.10.1007/3-540-58402-1_13
4 sg:pub.10.1007/3-540-59293-8_228
5 sg:pub.10.1007/3-540-60360-3_46
6 sg:pub.10.1007/3-540-61580-6_13
7 sg:pub.10.1007/3-540-61580-6_16
8 sg:pub.10.1007/3-540-61580-6_24
9 sg:pub.10.1007/3-540-61580-6_8
10 sg:pub.10.1007/bfb0032402
11 sg:pub.10.1007/bfb0054297
12 https://doi.org/10.1016/0304-3975(83)90059-2
13 https://doi.org/10.1016/0304-3975(90)90147-a
14 https://doi.org/10.1016/0304-3975(91)90299-h
15 https://doi.org/10.1016/b978-0-934613-40-8.50019-1
16 https://doi.org/10.1016/s0020-0190(97)00055-0
17 https://doi.org/10.1016/s0747-7171(87)80022-6
18 https://doi.org/10.1017/s0956796800000757
19 https://doi.org/10.1017/s0956796800002008
20 https://doi.org/10.1137/0206024
21 https://doi.org/10.1145/199448.199485
22 https://doi.org/10.1145/5956.5957
23 https://doi.org/10.1145/800068.802134
24 https://doi.org/10.1145/954063.954069
25 schema:datePublished 1999
26 schema:datePublishedReg 1999-01-01
27 schema:description This paper gives an introduction to Turchin’s supercompiler, a program transformer for functional programs which performs optimizations beyond partial evaluation and deforestation. More precisely, the paper presents positive supercompilation.
28 schema:editor Nf2ace035b2f7456ebca49efb2f25b32f
29 schema:genre chapter
30 schema:inLanguage en
31 schema:isAccessibleForFree false
32 schema:isPartOf N826d237f87564daa8ac9bbfba3a3826f
33 schema:name Introduction to Supercompilation
34 schema:pagination 246-270
35 schema:productId N2d244d1387a34397b80d3c2bf62fbb19
36 Ne8b61d40608e4e23859d17bdfbdea1b5
37 Nef9d35d2b5674547a618fca21630aa73
38 schema:publisher Ncaf8b315f9ad489eacaa8f66b45aac38
39 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043392513
40 https://doi.org/10.1007/3-540-47018-2_10
41 schema:sdDatePublished 2019-04-15T23:54
42 schema:sdLicense https://scigraph.springernature.com/explorer/license/
43 schema:sdPublisher N0a7f00e9cdea44d193c119cb962e593b
44 schema:url http://link.springer.com/10.1007/3-540-47018-2_10
45 sgo:license sg:explorer/license/
46 sgo:sdDataset chapters
47 rdf:type schema:Chapter
48 N0a7f00e9cdea44d193c119cb962e593b schema:name Springer Nature - SN SciGraph project
49 rdf:type schema:Organization
50 N1a0a445f12574d318f7caefa899450ab schema:affiliation https://www.grid.ac/institutes/grid.5254.6
51 schema:familyName Heine
52 schema:givenName Morten
53 rdf:type schema:Person
54 N27ea0f2872dd4c73995933a2da38a8db rdf:first N72b00eaa71d94af5aa9f87da3ee13308
55 rdf:rest Na002582f9f1244249b6804cb0c515593
56 N2d244d1387a34397b80d3c2bf62fbb19 schema:name dimensions_id
57 schema:value pub.1043392513
58 rdf:type schema:PropertyValue
59 N3f5da1d8ab614107a9ded527bdc311a9 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
60 schema:familyName Sørensen
61 schema:givenName B.
62 rdf:type schema:Person
63 N48f400353a3a4c4198d76427b762aac2 schema:familyName Thiemann
64 schema:givenName Peter
65 rdf:type schema:Person
66 N5616fd2fdcd34d7d91cb5ea22d42cfb3 rdf:first sg:person.010754010217.31
67 rdf:rest rdf:nil
68 N72b00eaa71d94af5aa9f87da3ee13308 schema:familyName Mogensen
69 schema:givenName Torben Æ
70 rdf:type schema:Person
71 N72fda72b04204336ad2abdfe66cccd8a rdf:first N3f5da1d8ab614107a9ded527bdc311a9
72 rdf:rest N5616fd2fdcd34d7d91cb5ea22d42cfb3
73 N826d237f87564daa8ac9bbfba3a3826f schema:isbn 978-3-540-47018-2
74 978-3-540-66710-0
75 schema:name Partial Evaluation
76 rdf:type schema:Book
77 N9adde457e06440549f4fd01154a82c5f rdf:first N1a0a445f12574d318f7caefa899450ab
78 rdf:rest N72fda72b04204336ad2abdfe66cccd8a
79 Na002582f9f1244249b6804cb0c515593 rdf:first N48f400353a3a4c4198d76427b762aac2
80 rdf:rest rdf:nil
81 Ncaf8b315f9ad489eacaa8f66b45aac38 schema:location Berlin, Heidelberg
82 schema:name Springer Berlin Heidelberg
83 rdf:type schema:Organisation
84 Ne8b61d40608e4e23859d17bdfbdea1b5 schema:name readcube_id
85 schema:value ceb2027ea1cf5ce577f3a61d32261d064411ee2d900e13dc220260e618c2d276
86 rdf:type schema:PropertyValue
87 Nef9d35d2b5674547a618fca21630aa73 schema:name doi
88 schema:value 10.1007/3-540-47018-2_10
89 rdf:type schema:PropertyValue
90 Nf0d0b831de274dc6aeefb2f3c5dbde7c schema:familyName Hatcliff
91 schema:givenName John
92 rdf:type schema:Person
93 Nf2ace035b2f7456ebca49efb2f25b32f rdf:first Nf0d0b831de274dc6aeefb2f3c5dbde7c
94 rdf:rest N27ea0f2872dd4c73995933a2da38a8db
95 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5254.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:pub.10.1007/3-540-57264-3_34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003987904
101 https://doi.org/10.1007/3-540-57264-3_34
102 rdf:type schema:CreativeWork
103 sg:pub.10.1007/3-540-58402-1_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026985651
104 https://doi.org/10.1007/3-540-58402-1_13
105 rdf:type schema:CreativeWork
106 sg:pub.10.1007/3-540-59293-8_228 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019251052
107 https://doi.org/10.1007/3-540-59293-8_228
108 rdf:type schema:CreativeWork
109 sg:pub.10.1007/3-540-60360-3_46 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004466873
110 https://doi.org/10.1007/3-540-60360-3_46
111 rdf:type schema:CreativeWork
112 sg:pub.10.1007/3-540-61580-6_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026756392
113 https://doi.org/10.1007/3-540-61580-6_13
114 rdf:type schema:CreativeWork
115 sg:pub.10.1007/3-540-61580-6_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019454974
116 https://doi.org/10.1007/3-540-61580-6_16
117 rdf:type schema:CreativeWork
118 sg:pub.10.1007/3-540-61580-6_24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052100186
119 https://doi.org/10.1007/3-540-61580-6_24
120 rdf:type schema:CreativeWork
121 sg:pub.10.1007/3-540-61580-6_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008923491
122 https://doi.org/10.1007/3-540-61580-6_8
123 rdf:type schema:CreativeWork
124 sg:pub.10.1007/bfb0032402 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027875008
125 https://doi.org/10.1007/bfb0032402
126 rdf:type schema:CreativeWork
127 sg:pub.10.1007/bfb0054297 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039806702
128 https://doi.org/10.1007/bfb0054297
129 rdf:type schema:CreativeWork
130 https://doi.org/10.1016/0304-3975(83)90059-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005822774
131 rdf:type schema:CreativeWork
132 https://doi.org/10.1016/0304-3975(90)90147-a schema:sameAs https://app.dimensions.ai/details/publication/pub.1019824477
133 rdf:type schema:CreativeWork
134 https://doi.org/10.1016/0304-3975(91)90299-h schema:sameAs https://app.dimensions.ai/details/publication/pub.1012630910
135 rdf:type schema:CreativeWork
136 https://doi.org/10.1016/b978-0-934613-40-8.50019-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001378378
137 rdf:type schema:CreativeWork
138 https://doi.org/10.1016/s0020-0190(97)00055-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000980817
139 rdf:type schema:CreativeWork
140 https://doi.org/10.1016/s0747-7171(87)80022-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026818855
141 rdf:type schema:CreativeWork
142 https://doi.org/10.1017/s0956796800000757 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016061186
143 rdf:type schema:CreativeWork
144 https://doi.org/10.1017/s0956796800002008 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042426034
145 rdf:type schema:CreativeWork
146 https://doi.org/10.1137/0206024 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062841363
147 rdf:type schema:CreativeWork
148 https://doi.org/10.1145/199448.199485 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006063283
149 rdf:type schema:CreativeWork
150 https://doi.org/10.1145/5956.5957 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016193336
151 rdf:type schema:CreativeWork
152 https://doi.org/10.1145/800068.802134 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009931835
153 rdf:type schema:CreativeWork
154 https://doi.org/10.1145/954063.954069 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001684884
155 rdf:type schema:CreativeWork
156 https://www.grid.ac/institutes/grid.5254.6 schema:alternateName University of Copenhagen
157 schema:name Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, DK-2100 Copenhagen Ø, Denmark
158 rdf:type schema:Organization
 




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


...