Automatic Program Specialization by Partial Evaluation: an Introduction View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1996

AUTHORS

Robert Glück , Neil D. Jones

ABSTRACT

Partial evaluation is an automatic program optimization technique, similar in concept to, but in several ways different from optimizing compilers. Optimization is achieved by changing the times at which computations are performed. A partial evaluator can be used to overcome losses in performance that are due to highly parameterized, modular software. This has a quite remarkable impact on software development because it allows the design of general and reusable software without the penalty of being too inefficient. This papers gives an introduction to automatic program specialization by off-line partial evaluation. More... »

PAGES

70-77

Book

TITLE

Software Engineering im Scientific Computing

ISBN

978-3-322-85028-7
978-3-322-85027-0

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-322-85027-0_9

DOI

http://dx.doi.org/10.1007/978-3-322-85027-0_9

DIMENSIONS

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


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, D\u00e4nemark"
          ], 
          "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, D\u00e4nemark"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Jones", 
        "givenName": "Neil D.", 
        "id": "sg:person.013645752511.03", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013645752511.03"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1145/202176.202184", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1009460962"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1142/s021819409400026x", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1062960040"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "1996", 
    "datePublishedReg": "1996-01-01", 
    "description": "Partial evaluation is an automatic program optimization technique, similar in concept to, but in several ways different from optimizing compilers. Optimization is achieved by changing the times at which computations are performed. A partial evaluator can be used to overcome losses in performance that are due to highly parameterized, modular software. This has a quite remarkable impact on software development because it allows the design of general and reusable software without the penalty of being too inefficient. This papers gives an introduction to automatic program specialization by off-line partial evaluation.", 
    "editor": [
      {
        "familyName": "Mackens", 
        "givenName": "Wolfgang", 
        "type": "Person"
      }, 
      {
        "familyName": "Rump", 
        "givenName": "Siegfried M.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-322-85027-0_9", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-322-85028-7", 
        "978-3-322-85027-0"
      ], 
      "name": "Software Engineering im Scientific Computing", 
      "type": "Book"
    }, 
    "name": "Automatic Program Specialization by Partial Evaluation: an Introduction", 
    "pagination": "70-77", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-322-85027-0_9"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "4552858208ceea8a791fafa5f6dc316ebc6688c4b5d9779a454cfee0d61a4b38"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1014551500"
        ]
      }
    ], 
    "publisher": {
      "location": "Wiesbaden", 
      "name": "Vieweg+Teubner Verlag", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-322-85027-0_9", 
      "https://app.dimensions.ai/details/publication/pub.1014551500"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T10:32", 
    "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_8659_00000252.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-3-322-85027-0_9"
  }
]
 

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/978-3-322-85027-0_9'

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/978-3-322-85027-0_9'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-322-85027-0_9'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-322-85027-0_9'


 

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

83 TRIPLES      23 PREDICATES      29 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-322-85027-0_9 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author Ne1f1a54059bd4dbc8ccc14c708d2449c
4 schema:citation https://doi.org/10.1142/s021819409400026x
5 https://doi.org/10.1145/202176.202184
6 schema:datePublished 1996
7 schema:datePublishedReg 1996-01-01
8 schema:description Partial evaluation is an automatic program optimization technique, similar in concept to, but in several ways different from optimizing compilers. Optimization is achieved by changing the times at which computations are performed. A partial evaluator can be used to overcome losses in performance that are due to highly parameterized, modular software. This has a quite remarkable impact on software development because it allows the design of general and reusable software without the penalty of being too inefficient. This papers gives an introduction to automatic program specialization by off-line partial evaluation.
9 schema:editor N0610ee216ff749fa92e22bf16cab6e1e
10 schema:genre chapter
11 schema:inLanguage en
12 schema:isAccessibleForFree false
13 schema:isPartOf Nb91dda16ccaf4f30b163123aac5a8aa9
14 schema:name Automatic Program Specialization by Partial Evaluation: an Introduction
15 schema:pagination 70-77
16 schema:productId N016d238cf2264fcaa16c4e3847c9c549
17 N1f884d74587b41c19aa5fb4aa4a19a21
18 N985818bc66a744a5a1568e1c75a12666
19 schema:publisher Nd93ef382bb994fd5bd3bd673ed68c806
20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014551500
21 https://doi.org/10.1007/978-3-322-85027-0_9
22 schema:sdDatePublished 2019-04-15T10:32
23 schema:sdLicense https://scigraph.springernature.com/explorer/license/
24 schema:sdPublisher N7371a95cf4214d4e849103597bd139ec
25 schema:url http://link.springer.com/10.1007/978-3-322-85027-0_9
26 sgo:license sg:explorer/license/
27 sgo:sdDataset chapters
28 rdf:type schema:Chapter
29 N016d238cf2264fcaa16c4e3847c9c549 schema:name dimensions_id
30 schema:value pub.1014551500
31 rdf:type schema:PropertyValue
32 N0610ee216ff749fa92e22bf16cab6e1e rdf:first Nfea540f6f63e415c86130bfb07c4391a
33 rdf:rest Ndc229f115aa440448b9bd02bf1d29b12
34 N1b378f308cd64d59bfb9ee3734bef8a7 rdf:first sg:person.013645752511.03
35 rdf:rest rdf:nil
36 N1f884d74587b41c19aa5fb4aa4a19a21 schema:name readcube_id
37 schema:value 4552858208ceea8a791fafa5f6dc316ebc6688c4b5d9779a454cfee0d61a4b38
38 rdf:type schema:PropertyValue
39 N2cbbecc42ab94ed294f4bb9d6c394f8b schema:familyName Rump
40 schema:givenName Siegfried M.
41 rdf:type schema:Person
42 N7371a95cf4214d4e849103597bd139ec schema:name Springer Nature - SN SciGraph project
43 rdf:type schema:Organization
44 N985818bc66a744a5a1568e1c75a12666 schema:name doi
45 schema:value 10.1007/978-3-322-85027-0_9
46 rdf:type schema:PropertyValue
47 Nb91dda16ccaf4f30b163123aac5a8aa9 schema:isbn 978-3-322-85027-0
48 978-3-322-85028-7
49 schema:name Software Engineering im Scientific Computing
50 rdf:type schema:Book
51 Nd93ef382bb994fd5bd3bd673ed68c806 schema:location Wiesbaden
52 schema:name Vieweg+Teubner Verlag
53 rdf:type schema:Organisation
54 Ndc229f115aa440448b9bd02bf1d29b12 rdf:first N2cbbecc42ab94ed294f4bb9d6c394f8b
55 rdf:rest rdf:nil
56 Ne1f1a54059bd4dbc8ccc14c708d2449c rdf:first sg:person.010754010217.31
57 rdf:rest N1b378f308cd64d59bfb9ee3734bef8a7
58 Nfea540f6f63e415c86130bfb07c4391a schema:familyName Mackens
59 schema:givenName Wolfgang
60 rdf:type schema:Person
61 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
62 schema:name Information and Computing Sciences
63 rdf:type schema:DefinedTerm
64 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
65 schema:name Computer Software
66 rdf:type schema:DefinedTerm
67 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
68 schema:familyName Glück
69 schema:givenName Robert
70 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
71 rdf:type schema:Person
72 sg:person.013645752511.03 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
73 schema:familyName Jones
74 schema:givenName Neil D.
75 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013645752511.03
76 rdf:type schema:Person
77 https://doi.org/10.1142/s021819409400026x schema:sameAs https://app.dimensions.ai/details/publication/pub.1062960040
78 rdf:type schema:CreativeWork
79 https://doi.org/10.1145/202176.202184 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009460962
80 rdf:type schema:CreativeWork
81 https://www.grid.ac/institutes/grid.5254.6 schema:alternateName University of Copenhagen
82 schema:name DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen, Dänemark
83 rdf:type schema:Organization
 




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


...