On the mechanics of metasystem hierarchies in program transformation View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1996

AUTHORS

Robert Glück

ABSTRACT

Self-applicable partial evaluators have been used for more than a decade for generating compilers and other program generators, but it seems hard to reason about the mechanics of hierarchies of program transformers and to describe applications that go beyond the ‘classical’ Futamura projections. This paper identifies and clarifies foundational issues involved in multi-level metasystem hierarchies. After studying the role of abstraction, encoding, and metasystem transition, the Futamura projections are reexamined and problems of their practical realization are discussed. Finally, preliminary results using a multi-level metaprogramming environment for self-application are reported. Connections between logic programming and metacomputation are made. More... »

PAGES

234-251

Book

TITLE

Logic Program Synthesis and Transformation

ISBN

978-3-540-60939-1
978-3-540-49745-5

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-60939-3_18

DOI

http://dx.doi.org/10.1007/3-540-60939-3_18

DIMENSIONS

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


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/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "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 \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"
      }
    ], 
    "datePublished": "1996", 
    "datePublishedReg": "1996-01-01", 
    "description": "Self-applicable partial evaluators have been used for more than a decade for generating compilers and other program generators, but it seems hard to reason about the mechanics of hierarchies of program transformers and to describe applications that go beyond the \u2018classical\u2019 Futamura projections. This paper identifies and clarifies foundational issues involved in multi-level metasystem hierarchies. After studying the role of abstraction, encoding, and metasystem transition, the Futamura projections are reexamined and problems of their practical realization are discussed. Finally, preliminary results using a multi-level metaprogramming environment for self-application are reported. Connections between logic programming and metacomputation are made.", 
    "editor": [
      {
        "familyName": "Proietti", 
        "givenName": "Maurizio", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-60939-3_18", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-60939-1", 
        "978-3-540-49745-5"
      ], 
      "name": "Logic Program Synthesis and Transformation", 
      "type": "Book"
    }, 
    "name": "On the mechanics of metasystem hierarchies in program transformation", 
    "pagination": "234-251", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-60939-3_18"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "97f6042908f11d802ccd2b75873d7a4435ee1820e6be555ba607337e6a0abb18"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1031899271"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-60939-3_18", 
      "https://app.dimensions.ai/details/publication/pub.1031899271"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T19:53", 
    "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_8687_00000054.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/3-540-60939-3_18"
  }
]
 

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-60939-3_18'

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-60939-3_18'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-60939-3_18'

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-60939-3_18'


 

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

65 TRIPLES      22 PREDICATES      27 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-60939-3_18 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author N2c0b1d24b09a4bc2868a9e564eaa3cbd
4 schema:datePublished 1996
5 schema:datePublishedReg 1996-01-01
6 schema:description Self-applicable partial evaluators have been used for more than a decade for generating compilers and other program generators, but it seems hard to reason about the mechanics of hierarchies of program transformers and to describe applications that go beyond the ‘classical’ Futamura projections. This paper identifies and clarifies foundational issues involved in multi-level metasystem hierarchies. After studying the role of abstraction, encoding, and metasystem transition, the Futamura projections are reexamined and problems of their practical realization are discussed. Finally, preliminary results using a multi-level metaprogramming environment for self-application are reported. Connections between logic programming and metacomputation are made.
7 schema:editor N91c440d70ec440e49528095e5d64c8db
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nb8283deadb604876858edeea28f42f92
12 schema:name On the mechanics of metasystem hierarchies in program transformation
13 schema:pagination 234-251
14 schema:productId N0d2e858a887c4c3b8b74d6d79cbd32a2
15 N8efafa29b916445bbb71f3c42ae6d943
16 N9fed144c0ccf453b8a27491e26ff3983
17 schema:publisher N6a31780d60e0466c8137736e96725f15
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031899271
19 https://doi.org/10.1007/3-540-60939-3_18
20 schema:sdDatePublished 2019-04-15T19:53
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher Nfee9835416d94efcb989a8ef3d381665
23 schema:url http://link.springer.com/10.1007/3-540-60939-3_18
24 sgo:license sg:explorer/license/
25 sgo:sdDataset chapters
26 rdf:type schema:Chapter
27 N0d2e858a887c4c3b8b74d6d79cbd32a2 schema:name dimensions_id
28 schema:value pub.1031899271
29 rdf:type schema:PropertyValue
30 N2c0b1d24b09a4bc2868a9e564eaa3cbd rdf:first sg:person.010754010217.31
31 rdf:rest rdf:nil
32 N2da87b6358e341478167cf8d84c82e19 schema:familyName Proietti
33 schema:givenName Maurizio
34 rdf:type schema:Person
35 N6a31780d60e0466c8137736e96725f15 schema:location Berlin, Heidelberg
36 schema:name Springer Berlin Heidelberg
37 rdf:type schema:Organisation
38 N8efafa29b916445bbb71f3c42ae6d943 schema:name readcube_id
39 schema:value 97f6042908f11d802ccd2b75873d7a4435ee1820e6be555ba607337e6a0abb18
40 rdf:type schema:PropertyValue
41 N91c440d70ec440e49528095e5d64c8db rdf:first N2da87b6358e341478167cf8d84c82e19
42 rdf:rest rdf:nil
43 N9fed144c0ccf453b8a27491e26ff3983 schema:name doi
44 schema:value 10.1007/3-540-60939-3_18
45 rdf:type schema:PropertyValue
46 Nb8283deadb604876858edeea28f42f92 schema:isbn 978-3-540-49745-5
47 978-3-540-60939-1
48 schema:name Logic Program Synthesis and Transformation
49 rdf:type schema:Book
50 Nfee9835416d94efcb989a8ef3d381665 schema:name Springer Nature - SN SciGraph project
51 rdf:type schema:Organization
52 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
53 schema:name Information and Computing Sciences
54 rdf:type schema:DefinedTerm
55 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
56 schema:name Computer Software
57 rdf:type schema:DefinedTerm
58 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
59 schema:familyName Glück
60 schema:givenName Robert
61 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
62 rdf:type schema:Person
63 https://www.grid.ac/institutes/grid.5254.6 schema:alternateName University of Copenhagen
64 schema:name DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen Ø, Denmark
65 rdf:type schema:Organization
 




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


...