Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2000-01-28

AUTHORS

Niels H. Christensen , Robert Glück , Søren Laursen

ABSTRACT

Existing partial evaluators usually fix the strategy for binding-time analysis. But a single strategy cannot fulfill all goals without leading to compromises regarding precision, termination, and code explosion in partial evaluators. Our goal is to improve the usability of partial evaluator systems by developing an adaptive approach that can accommodate a variety of different strategies ranging from maximally polyvariant to entirely uniform analysis, and thereby make offline specialization more practical in a realistic setting. The core of the analysis has been implemented in FSpec, an offline partial evaluator for a subset of Fortran 77. More... »

PAGES

80-92

References to SciGraph publications

Book

TITLE

Perspectives of System Informatics

ISBN

978-3-540-67102-2
978-3-540-46562-1

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-46562-6_7

DOI

http://dx.doi.org/10.1007/3-540-46562-6_7

DIMENSIONS

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


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, Copenhagen, Denmark"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Christensen", 
        "givenName": "Niels H.", 
        "id": "sg:person.016655637717.26", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016655637717.26"
        ], 
        "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, Copenhagen, 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, Copenhagen, Denmark"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Laursen", 
        "givenName": "S\u00f8ren", 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/3-540-15976-2_6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1003208420", 
          "https://doi.org/10.1007/3-540-15976-2_6"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-62064-8_23", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1007002321", 
          "https://doi.org/10.1007/3-540-62064-8_23"
        ], 
        "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/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.1145/202176.202184", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1009460962"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/154630.154638", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1017206660"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-61580-6_2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1019461208", 
          "https://doi.org/10.1007/3-540-61580-6_2"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-08353-7_128", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1022592150", 
          "https://doi.org/10.1007/3-540-08353-7_128"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-61739-6_34", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1024255892", 
          "https://doi.org/10.1007/3-540-61739-6_34"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/154630.154636", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1025200309"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-62064-8_24", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029529197", 
          "https://doi.org/10.1007/3-540-62064-8_24"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/154630.154637", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1034160022"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bfb0032749", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1036744757", 
          "https://doi.org/10.1007/bfb0032749"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bfb0032749", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1036744757", 
          "https://doi.org/10.1007/bfb0032749"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/186025.186037", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1049110641"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf00271642", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1053177031", 
          "https://doi.org/10.1007/bf00271642"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf00271642", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1053177031", 
          "https://doi.org/10.1007/bf00271642"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/258993.259005", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1098839276"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2000-01-28", 
    "datePublishedReg": "2000-01-28", 
    "description": "Existing partial evaluators usually fix the strategy for binding-time analysis. But a single strategy cannot fulfill all goals without leading to compromises regarding precision, termination, and code explosion in partial evaluators. Our goal is to improve the usability of partial evaluator systems by developing an adaptive approach that can accommodate a variety of different strategies ranging from maximally polyvariant to entirely uniform analysis, and thereby make offline specialization more practical in a realistic setting. The core of the analysis has been implemented in FSpec, an offline partial evaluator for a subset of Fortran 77.", 
    "editor": [
      {
        "familyName": "Bj\u00f8ner", 
        "givenName": "Dines", 
        "type": "Person"
      }, 
      {
        "familyName": "Broy", 
        "givenName": "Manfred", 
        "type": "Person"
      }, 
      {
        "familyName": "Zamulin", 
        "givenName": "Alexandre V.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-46562-6_7", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-67102-2", 
        "978-3-540-46562-1"
      ], 
      "name": "Perspectives of System Informatics", 
      "type": "Book"
    }, 
    "name": "Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All", 
    "pagination": "80-92", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-46562-6_7"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "cdff160321eec01492bbcfedc0e7e38787c790a3f258bb6d9c2c476ad611a9c2"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1043246171"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-46562-6_7", 
      "https://app.dimensions.ai/details/publication/pub.1043246171"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T05:40", 
    "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/0000000347_0000000347/records_89785_00000001.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F3-540-46562-6_7"
  }
]
 

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-46562-6_7'

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-46562-6_7'

Turtle is a human-readable linked data format.

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

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-46562-6_7'


 

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

146 TRIPLES      23 PREDICATES      42 URIs      19 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-46562-6_7 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author N83993a9f137942daa99c81038a393f9f
4 schema:citation sg:pub.10.1007/3-540-08353-7_128
5 sg:pub.10.1007/3-540-15976-2_6
6 sg:pub.10.1007/3-540-61580-6_2
7 sg:pub.10.1007/3-540-61739-6_34
8 sg:pub.10.1007/3-540-62064-8_22
9 sg:pub.10.1007/3-540-62064-8_23
10 sg:pub.10.1007/3-540-62064-8_24
11 sg:pub.10.1007/bf00271642
12 sg:pub.10.1007/bf01806312
13 sg:pub.10.1007/bfb0032749
14 https://doi.org/10.1145/154630.154636
15 https://doi.org/10.1145/154630.154637
16 https://doi.org/10.1145/154630.154638
17 https://doi.org/10.1145/186025.186037
18 https://doi.org/10.1145/202176.202184
19 https://doi.org/10.1145/258993.259005
20 schema:datePublished 2000-01-28
21 schema:datePublishedReg 2000-01-28
22 schema:description Existing partial evaluators usually fix the strategy for binding-time analysis. But a single strategy cannot fulfill all goals without leading to compromises regarding precision, termination, and code explosion in partial evaluators. Our goal is to improve the usability of partial evaluator systems by developing an adaptive approach that can accommodate a variety of different strategies ranging from maximally polyvariant to entirely uniform analysis, and thereby make offline specialization more practical in a realistic setting. The core of the analysis has been implemented in FSpec, an offline partial evaluator for a subset of Fortran 77.
23 schema:editor N8a0113e82c05432ba26a34533d3dfd4c
24 schema:genre chapter
25 schema:inLanguage en
26 schema:isAccessibleForFree false
27 schema:isPartOf N62c656487ea34278acd55e84684ad334
28 schema:name Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All
29 schema:pagination 80-92
30 schema:productId N074854175e7f481db7e8a79eee44db83
31 N27abd9ce5ad940e3b3909225ac20137b
32 N6c4a43a92e004891bd5be8fb06bbcb7a
33 schema:publisher Nad766298bdf543f58ebc40807d9689aa
34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043246171
35 https://doi.org/10.1007/3-540-46562-6_7
36 schema:sdDatePublished 2019-04-16T05:40
37 schema:sdLicense https://scigraph.springernature.com/explorer/license/
38 schema:sdPublisher N5669e258c646490990bad5cf68c0e318
39 schema:url https://link.springer.com/10.1007%2F3-540-46562-6_7
40 sgo:license sg:explorer/license/
41 sgo:sdDataset chapters
42 rdf:type schema:Chapter
43 N074854175e7f481db7e8a79eee44db83 schema:name dimensions_id
44 schema:value pub.1043246171
45 rdf:type schema:PropertyValue
46 N1a0138408b1a4646894ab6e00f043402 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
47 schema:familyName Laursen
48 schema:givenName Søren
49 rdf:type schema:Person
50 N2350b168e0d04ed3bd2a9fb5659341c9 schema:familyName Broy
51 schema:givenName Manfred
52 rdf:type schema:Person
53 N27abd9ce5ad940e3b3909225ac20137b schema:name readcube_id
54 schema:value cdff160321eec01492bbcfedc0e7e38787c790a3f258bb6d9c2c476ad611a9c2
55 rdf:type schema:PropertyValue
56 N4dec412b170b4b8e814b4478324ea1cb rdf:first N2350b168e0d04ed3bd2a9fb5659341c9
57 rdf:rest N6201d57bb67848858ce1a7a1dc65efd7
58 N5669e258c646490990bad5cf68c0e318 schema:name Springer Nature - SN SciGraph project
59 rdf:type schema:Organization
60 N58be1ca68bb34a32b2ebb14e921e4942 rdf:first sg:person.010754010217.31
61 rdf:rest N9dddc22d00c84438a61bc347b3bddd0c
62 N6201d57bb67848858ce1a7a1dc65efd7 rdf:first Ne970490c05c7402386bac9761b78de8b
63 rdf:rest rdf:nil
64 N62c656487ea34278acd55e84684ad334 schema:isbn 978-3-540-46562-1
65 978-3-540-67102-2
66 schema:name Perspectives of System Informatics
67 rdf:type schema:Book
68 N6c4a43a92e004891bd5be8fb06bbcb7a schema:name doi
69 schema:value 10.1007/3-540-46562-6_7
70 rdf:type schema:PropertyValue
71 N83993a9f137942daa99c81038a393f9f rdf:first sg:person.016655637717.26
72 rdf:rest N58be1ca68bb34a32b2ebb14e921e4942
73 N8a0113e82c05432ba26a34533d3dfd4c rdf:first Nce9d51c1d97d4baca8706398866bd6bc
74 rdf:rest N4dec412b170b4b8e814b4478324ea1cb
75 N9dddc22d00c84438a61bc347b3bddd0c rdf:first N1a0138408b1a4646894ab6e00f043402
76 rdf:rest rdf:nil
77 Nad766298bdf543f58ebc40807d9689aa schema:location Berlin, Heidelberg
78 schema:name Springer Berlin Heidelberg
79 rdf:type schema:Organisation
80 Nce9d51c1d97d4baca8706398866bd6bc schema:familyName Bjøner
81 schema:givenName Dines
82 rdf:type schema:Person
83 Ne970490c05c7402386bac9761b78de8b schema:familyName Zamulin
84 schema:givenName Alexandre V.
85 rdf:type schema:Person
86 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
87 schema:name Information and Computing Sciences
88 rdf:type schema:DefinedTerm
89 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
90 schema:name Computer Software
91 rdf:type schema:DefinedTerm
92 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
93 schema:familyName Glück
94 schema:givenName Robert
95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
96 rdf:type schema:Person
97 sg:person.016655637717.26 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
98 schema:familyName Christensen
99 schema:givenName Niels H.
100 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016655637717.26
101 rdf:type schema:Person
102 sg:pub.10.1007/3-540-08353-7_128 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022592150
103 https://doi.org/10.1007/3-540-08353-7_128
104 rdf:type schema:CreativeWork
105 sg:pub.10.1007/3-540-15976-2_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003208420
106 https://doi.org/10.1007/3-540-15976-2_6
107 rdf:type schema:CreativeWork
108 sg:pub.10.1007/3-540-61580-6_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019461208
109 https://doi.org/10.1007/3-540-61580-6_2
110 rdf:type schema:CreativeWork
111 sg:pub.10.1007/3-540-61739-6_34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024255892
112 https://doi.org/10.1007/3-540-61739-6_34
113 rdf:type schema:CreativeWork
114 sg:pub.10.1007/3-540-62064-8_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008856040
115 https://doi.org/10.1007/3-540-62064-8_22
116 rdf:type schema:CreativeWork
117 sg:pub.10.1007/3-540-62064-8_23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007002321
118 https://doi.org/10.1007/3-540-62064-8_23
119 rdf:type schema:CreativeWork
120 sg:pub.10.1007/3-540-62064-8_24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029529197
121 https://doi.org/10.1007/3-540-62064-8_24
122 rdf:type schema:CreativeWork
123 sg:pub.10.1007/bf00271642 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053177031
124 https://doi.org/10.1007/bf00271642
125 rdf:type schema:CreativeWork
126 sg:pub.10.1007/bf01806312 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007653765
127 https://doi.org/10.1007/bf01806312
128 rdf:type schema:CreativeWork
129 sg:pub.10.1007/bfb0032749 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036744757
130 https://doi.org/10.1007/bfb0032749
131 rdf:type schema:CreativeWork
132 https://doi.org/10.1145/154630.154636 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025200309
133 rdf:type schema:CreativeWork
134 https://doi.org/10.1145/154630.154637 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034160022
135 rdf:type schema:CreativeWork
136 https://doi.org/10.1145/154630.154638 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017206660
137 rdf:type schema:CreativeWork
138 https://doi.org/10.1145/186025.186037 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049110641
139 rdf:type schema:CreativeWork
140 https://doi.org/10.1145/202176.202184 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009460962
141 rdf:type schema:CreativeWork
142 https://doi.org/10.1145/258993.259005 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098839276
143 rdf:type schema:CreativeWork
144 https://www.grid.ac/institutes/grid.5254.6 schema:alternateName University of Copenhagen
145 schema:name DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen, Denmark
146 rdf:type schema:Organization
 




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


...