Multi-Level Specialization View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1999

AUTHORS

Robert Glück , Jesper Jørgensen

ABSTRACT

Program specialization can divide a computation into several computation stages. The program generator which we designed and implemented for a higher-order functional language converts programs into very compact multi-level generating extensions that guarantee fast successive specialization. Experimental results show a remarkable reduction of generation time and generator size compared to previous attempts of multiple self-application. More... »

PAGES

326-337

References to SciGraph publications

  • 1996. Fast binding-time analysis for multi-level specialization in PERSPECTIVES OF SYSTEM INFORMATICS
  • 1995. Efficient multi-level generating extensions for program specialization in PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS
  • 1997. Generative programming (GP) with C++ in MODULAR PROGRAMMING LANGUAGES
  • 1996. Multi-Level Lambda-Calculi: An algebraic description in PARTIAL EVALUATION
  • 1994. Hand-writing program generator generators in PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING
  • 1997-07. An Automatic Program Generator for Multi-Level Specialization in LISP AND SYMBOLIC COMPUTATION
  • 1989-02. Mix: A self-applicable partial evaluator for experiments in compiler generation in LISP AND SYMBOLIC COMPUTATION
  • 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_13

    DOI

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

    DIMENSIONS

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


    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/0802", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computation Theory and Mathematics", 
            "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, 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": [
                "Department of Mathematics and Physics, Royal Veterinary and Agricultural University, Thorvaldsensvej 40, DK-1871\u00a0Prederiksberg C, Denmark"
              ], 
              "type": "Organization"
            }, 
            "familyName": "J\u00f8rgensen", 
            "givenName": "Jesper", 
            "id": "sg:person.014706352727.82", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014706352727.82"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/bf01806312", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007653765", 
              "https://doi.org/10.1007/bf01806312"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01806312", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007653765", 
              "https://doi.org/10.1007/bf01806312"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-62064-8_22", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008856040", 
              "https://doi.org/10.1007/3-540-62064-8_22"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(76)90011-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010926984"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(76)90011-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010926984"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0956796800000769", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013291679"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/115865.115900", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013884143"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-58402-1_15", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021084016", 
              "https://doi.org/10.1007/3-540-58402-1_15"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0026825", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021776056", 
              "https://doi.org/10.1007/bfb0026825"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/232627.232647", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026026986"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-62599-2_51", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028181799", 
              "https://doi.org/10.1007/3-540-62599-2_51"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-61580-6_17", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030039531", 
              "https://doi.org/10.1007/3-540-61580-6_17"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1023/a:1007763000430", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038704478", 
              "https://doi.org/10.1023/a:1007763000430"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/258993.259019", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039900922"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/258993.259018", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098839287"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1999", 
        "datePublishedReg": "1999-01-01", 
        "description": "Program specialization can divide a computation into several computation stages. The program generator which we designed and implemented for a higher-order functional language converts programs into very compact multi-level generating extensions that guarantee fast successive specialization. Experimental results show a remarkable reduction of generation time and generator size compared to previous attempts of multiple self-application.", 
        "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_13", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-540-66710-0", 
            "978-3-540-47018-2"
          ], 
          "name": "Partial Evaluation", 
          "type": "Book"
        }, 
        "name": "Multi-Level Specialization", 
        "pagination": "326-337", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/3-540-47018-2_13"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "d2f02d9fb170d3338dbd274ce184278ee09352861a9f05979774232738b716c1"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1044283585"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/3-540-47018-2_13", 
          "https://app.dimensions.ai/details/publication/pub.1044283585"
        ], 
        "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_13"
      }
    ]
     

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

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

    Turtle is a human-readable linked data format.

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

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


     

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

    129 TRIPLES      23 PREDICATES      40 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/3-540-47018-2_13 schema:about anzsrc-for:08
    2 anzsrc-for:0802
    3 schema:author Nf9c595664ce246d7bec921be9a076ffd
    4 schema:citation sg:pub.10.1007/3-540-58402-1_15
    5 sg:pub.10.1007/3-540-61580-6_17
    6 sg:pub.10.1007/3-540-62064-8_22
    7 sg:pub.10.1007/3-540-62599-2_51
    8 sg:pub.10.1007/bf01806312
    9 sg:pub.10.1007/bfb0026825
    10 sg:pub.10.1023/a:1007763000430
    11 https://doi.org/10.1016/0004-3702(76)90011-4
    12 https://doi.org/10.1017/s0956796800000769
    13 https://doi.org/10.1145/115865.115900
    14 https://doi.org/10.1145/232627.232647
    15 https://doi.org/10.1145/258993.259018
    16 https://doi.org/10.1145/258993.259019
    17 schema:datePublished 1999
    18 schema:datePublishedReg 1999-01-01
    19 schema:description Program specialization can divide a computation into several computation stages. The program generator which we designed and implemented for a higher-order functional language converts programs into very compact multi-level generating extensions that guarantee fast successive specialization. Experimental results show a remarkable reduction of generation time and generator size compared to previous attempts of multiple self-application.
    20 schema:editor N2345aab20282432088538d5d79874229
    21 schema:genre chapter
    22 schema:inLanguage en
    23 schema:isAccessibleForFree false
    24 schema:isPartOf Nb2c12db105014d1c8ccaa5d106407741
    25 schema:name Multi-Level Specialization
    26 schema:pagination 326-337
    27 schema:productId N2febfe8ac44d4e6892971b2698ef8fa4
    28 N9cb510c42c7d4f22bd3e9e325f7f86ca
    29 Nf1100e9a05504022bbf7eb679409feba
    30 schema:publisher N2a96d2aa1ab74786896b2bb9f9ee588b
    31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044283585
    32 https://doi.org/10.1007/3-540-47018-2_13
    33 schema:sdDatePublished 2019-04-15T23:54
    34 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    35 schema:sdPublisher N2fe1b3ed6e7d4ab08bb5f251be9cbb04
    36 schema:url http://link.springer.com/10.1007/3-540-47018-2_13
    37 sgo:license sg:explorer/license/
    38 sgo:sdDataset chapters
    39 rdf:type schema:Chapter
    40 N003073055727464198ff412e66b5a1bb rdf:first sg:person.014706352727.82
    41 rdf:rest rdf:nil
    42 N2345aab20282432088538d5d79874229 rdf:first N8611afbea3b24f0684c32aceca6ef616
    43 rdf:rest Neeaa22b351874f7daacd3d9c1d3d35df
    44 N2a96d2aa1ab74786896b2bb9f9ee588b schema:location Berlin, Heidelberg
    45 schema:name Springer Berlin Heidelberg
    46 rdf:type schema:Organisation
    47 N2fe1b3ed6e7d4ab08bb5f251be9cbb04 schema:name Springer Nature - SN SciGraph project
    48 rdf:type schema:Organization
    49 N2febfe8ac44d4e6892971b2698ef8fa4 schema:name doi
    50 schema:value 10.1007/3-540-47018-2_13
    51 rdf:type schema:PropertyValue
    52 N468362f4991e4f72b786a5744461ac3a schema:familyName Mogensen
    53 schema:givenName Torben Æ
    54 rdf:type schema:Person
    55 N8611afbea3b24f0684c32aceca6ef616 schema:familyName Hatcliff
    56 schema:givenName John
    57 rdf:type schema:Person
    58 N9cb510c42c7d4f22bd3e9e325f7f86ca schema:name readcube_id
    59 schema:value d2f02d9fb170d3338dbd274ce184278ee09352861a9f05979774232738b716c1
    60 rdf:type schema:PropertyValue
    61 Nb2c12db105014d1c8ccaa5d106407741 schema:isbn 978-3-540-47018-2
    62 978-3-540-66710-0
    63 schema:name Partial Evaluation
    64 rdf:type schema:Book
    65 Nb49d2c689436412ab30988c6d10f750d schema:familyName Thiemann
    66 schema:givenName Peter
    67 rdf:type schema:Person
    68 Nd9c1080a831d414cb3afb8dc2b55bd6a rdf:first Nb49d2c689436412ab30988c6d10f750d
    69 rdf:rest rdf:nil
    70 Neeaa22b351874f7daacd3d9c1d3d35df rdf:first N468362f4991e4f72b786a5744461ac3a
    71 rdf:rest Nd9c1080a831d414cb3afb8dc2b55bd6a
    72 Nf1100e9a05504022bbf7eb679409feba schema:name dimensions_id
    73 schema:value pub.1044283585
    74 rdf:type schema:PropertyValue
    75 Nf9c595664ce246d7bec921be9a076ffd rdf:first sg:person.010754010217.31
    76 rdf:rest N003073055727464198ff412e66b5a1bb
    77 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    78 schema:name Information and Computing Sciences
    79 rdf:type schema:DefinedTerm
    80 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    81 schema:name Computation Theory and Mathematics
    82 rdf:type schema:DefinedTerm
    83 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
    84 schema:familyName Glück
    85 schema:givenName Robert
    86 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
    87 rdf:type schema:Person
    88 sg:person.014706352727.82 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
    89 schema:familyName Jørgensen
    90 schema:givenName Jesper
    91 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014706352727.82
    92 rdf:type schema:Person
    93 sg:pub.10.1007/3-540-58402-1_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021084016
    94 https://doi.org/10.1007/3-540-58402-1_15
    95 rdf:type schema:CreativeWork
    96 sg:pub.10.1007/3-540-61580-6_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030039531
    97 https://doi.org/10.1007/3-540-61580-6_17
    98 rdf:type schema:CreativeWork
    99 sg:pub.10.1007/3-540-62064-8_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008856040
    100 https://doi.org/10.1007/3-540-62064-8_22
    101 rdf:type schema:CreativeWork
    102 sg:pub.10.1007/3-540-62599-2_51 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028181799
    103 https://doi.org/10.1007/3-540-62599-2_51
    104 rdf:type schema:CreativeWork
    105 sg:pub.10.1007/bf01806312 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007653765
    106 https://doi.org/10.1007/bf01806312
    107 rdf:type schema:CreativeWork
    108 sg:pub.10.1007/bfb0026825 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021776056
    109 https://doi.org/10.1007/bfb0026825
    110 rdf:type schema:CreativeWork
    111 sg:pub.10.1023/a:1007763000430 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038704478
    112 https://doi.org/10.1023/a:1007763000430
    113 rdf:type schema:CreativeWork
    114 https://doi.org/10.1016/0004-3702(76)90011-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010926984
    115 rdf:type schema:CreativeWork
    116 https://doi.org/10.1017/s0956796800000769 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013291679
    117 rdf:type schema:CreativeWork
    118 https://doi.org/10.1145/115865.115900 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013884143
    119 rdf:type schema:CreativeWork
    120 https://doi.org/10.1145/232627.232647 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026026986
    121 rdf:type schema:CreativeWork
    122 https://doi.org/10.1145/258993.259018 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098839287
    123 rdf:type schema:CreativeWork
    124 https://doi.org/10.1145/258993.259019 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039900922
    125 rdf:type schema:CreativeWork
    126 https://www.grid.ac/institutes/grid.5254.6 schema:alternateName University of Copenhagen
    127 schema:name DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen, Denmark
    128 Department of Mathematics and Physics, Royal Veterinary and Agricultural University, Thorvaldsensvej 40, DK-1871 Prederiksberg C, Denmark
    129 rdf:type schema:Organization
     




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


    ...