A roadmap to metacomputation by supercompilation View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1996

AUTHORS

Robert Glück , Morten Heine Sørensen

ABSTRACT

This paper gives a gentle introduction to Turchin's super-compilation and its applications in metacomputation with an emphasis on recent developments. First, a complete supercompiler, including positive driving and generalization, is defined for a functional language and illustrated with examples. Then a taxonomy of related transformers is given and compared to the supercompiler. Finally, we put supercompilation into the larger perspective of metacomputation and consider three metacomputation tasks: specialization, composition, and inversion. More... »

PAGES

137-160

Book

TITLE

Partial Evaluation

ISBN

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

Author Affiliations

Identifiers

URI

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

DOI

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

DIMENSIONS

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


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/2004", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Linguistics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/20", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Language, Communication and Culture", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Copenhagen", 
          "id": "https://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100\u00a0Copenhagen \u00f8, 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"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Copenhagen", 
          "id": "https://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100\u00a0Copenhagen \u00f8, Denmark"
          ], 
          "type": "Organization"
        }, 
        "familyName": "S\u00f8rensen", 
        "givenName": "Morten Heine", 
        "id": "sg:person.012500751041.71", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012500751041.71"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1996", 
    "datePublishedReg": "1996-01-01", 
    "description": "This paper gives a gentle introduction to Turchin's super-compilation and its applications in metacomputation with an emphasis on recent developments. First, a complete supercompiler, including positive driving and generalization, is defined for a functional language and illustrated with examples. Then a taxonomy of related transformers is given and compared to the supercompiler. Finally, we put supercompilation into the larger perspective of metacomputation and consider three metacomputation tasks: specialization, composition, and inversion.", 
    "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_8", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-61580-4", 
        "978-3-540-70589-5"
      ], 
      "name": "Partial Evaluation", 
      "type": "Book"
    }, 
    "name": "A roadmap to metacomputation by supercompilation", 
    "pagination": "137-160", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-61580-6_8"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "2a833a0c2aee15bf7f2a3bd9252cc85f893201a9c76796ba6988844c58c4521c"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1008923491"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-61580-6_8", 
      "https://app.dimensions.ai/details/publication/pub.1008923491"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T23:37", 
    "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_00000015.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/3-540-61580-6_8"
  }
]
 

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_8'

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_8'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-61580-6_8'

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_8'


 

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

82 TRIPLES      22 PREDICATES      27 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-61580-6_8 schema:about anzsrc-for:20
2 anzsrc-for:2004
3 schema:author N3c5b7bac14c04524bba38a69be9f8866
4 schema:datePublished 1996
5 schema:datePublishedReg 1996-01-01
6 schema:description This paper gives a gentle introduction to Turchin's super-compilation and its applications in metacomputation with an emphasis on recent developments. First, a complete supercompiler, including positive driving and generalization, is defined for a functional language and illustrated with examples. Then a taxonomy of related transformers is given and compared to the supercompiler. Finally, we put supercompilation into the larger perspective of metacomputation and consider three metacomputation tasks: specialization, composition, and inversion.
7 schema:editor Ncf9875b36e774cf8a6a99bbf3f302f0c
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N1dd7b90575af4a0bb6ee12248db7247e
12 schema:name A roadmap to metacomputation by supercompilation
13 schema:pagination 137-160
14 schema:productId N0a30bcb6b02349efba165f42c5964e92
15 N2bd80a8aeaea47fcaf58d94808aa0a0a
16 N894ec0e2d506473db251f3093f323cf5
17 schema:publisher N459a05e85d474886b6cac1fc10d71da6
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008923491
19 https://doi.org/10.1007/3-540-61580-6_8
20 schema:sdDatePublished 2019-04-15T23:37
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher N1bc8213614a24f6dbac10a8947b3fcae
23 schema:url http://link.springer.com/10.1007/3-540-61580-6_8
24 sgo:license sg:explorer/license/
25 sgo:sdDataset chapters
26 rdf:type schema:Chapter
27 N0a30bcb6b02349efba165f42c5964e92 schema:name dimensions_id
28 schema:value pub.1008923491
29 rdf:type schema:PropertyValue
30 N1bc8213614a24f6dbac10a8947b3fcae schema:name Springer Nature - SN SciGraph project
31 rdf:type schema:Organization
32 N1dd7b90575af4a0bb6ee12248db7247e schema:isbn 978-3-540-61580-4
33 978-3-540-70589-5
34 schema:name Partial Evaluation
35 rdf:type schema:Book
36 N237bda652e864723904b2b3dd6b5c8ce rdf:first sg:person.012500751041.71
37 rdf:rest rdf:nil
38 N2bd80a8aeaea47fcaf58d94808aa0a0a schema:name doi
39 schema:value 10.1007/3-540-61580-6_8
40 rdf:type schema:PropertyValue
41 N3c5b7bac14c04524bba38a69be9f8866 rdf:first sg:person.010754010217.31
42 rdf:rest N237bda652e864723904b2b3dd6b5c8ce
43 N459a05e85d474886b6cac1fc10d71da6 schema:location Berlin, Heidelberg
44 schema:name Springer Berlin Heidelberg
45 rdf:type schema:Organisation
46 N5585434bbb9f4615a2be228a4467e4bf schema:familyName Glück
47 schema:givenName Robert
48 rdf:type schema:Person
49 N7e6c6ae501c64278ad8d09c064811376 rdf:first N96af9d2533364e2e855322e9fea1a565
50 rdf:rest rdf:nil
51 N894ec0e2d506473db251f3093f323cf5 schema:name readcube_id
52 schema:value 2a833a0c2aee15bf7f2a3bd9252cc85f893201a9c76796ba6988844c58c4521c
53 rdf:type schema:PropertyValue
54 N96af9d2533364e2e855322e9fea1a565 schema:familyName Thiemann
55 schema:givenName Peter
56 rdf:type schema:Person
57 Nb3378e468f36440cb8b3feea88a546ee rdf:first N5585434bbb9f4615a2be228a4467e4bf
58 rdf:rest N7e6c6ae501c64278ad8d09c064811376
59 Ncace565ba3c94e57be843ea4834ba397 schema:familyName Danvy
60 schema:givenName Olivier
61 rdf:type schema:Person
62 Ncf9875b36e774cf8a6a99bbf3f302f0c rdf:first Ncace565ba3c94e57be843ea4834ba397
63 rdf:rest Nb3378e468f36440cb8b3feea88a546ee
64 anzsrc-for:20 schema:inDefinedTermSet anzsrc-for:
65 schema:name Language, Communication and Culture
66 rdf:type schema:DefinedTerm
67 anzsrc-for:2004 schema:inDefinedTermSet anzsrc-for:
68 schema:name Linguistics
69 rdf:type schema:DefinedTerm
70 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
71 schema:familyName Glück
72 schema:givenName Robert
73 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
74 rdf:type schema:Person
75 sg:person.012500751041.71 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
76 schema:familyName Sørensen
77 schema:givenName Morten Heine
78 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012500751041.71
79 rdf:type schema:Person
80 https://www.grid.ac/institutes/grid.5254.6 schema:alternateName University of Copenhagen
81 schema:name DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen ø, Denmark
82 rdf:type schema:Organization
 




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


...