The essence of program transformation by partial evaluation and driving View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1994

AUTHORS

Neil D. Jones

ABSTRACT

An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial evaluation [19] and Turchin's more powerful “driving” transformation [33]. Such automatic program speedups have been seen to give quite signifcant speedups in practical applications. This paper's aims are similar to those of [18]: better to understand the fundamental mathematical phenomena that make such speedups possible. The current paper is more complete than [18], since it precisely formulates correctness of code generation; and more powerful, since it includes program optimizations not achievable by simple partial evaluation. Moreover, for the first time it puts Turchin's driving methodology on a solid semantic foundation which is not tied to any particular programming language or data structure. More... »

PAGES

206-224

Book

TITLE

Logic, Language and Computation

ISBN

3-540-57935-4

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/bfb0032402

DOI

http://dx.doi.org/10.1007/bfb0032402

DIMENSIONS

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


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/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0104", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Statistics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "DIKU, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen, Denmark", 
          "id": "http://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "DIKU, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen, Denmark"
          ], 
          "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"
      }
    ], 
    "datePublished": "1994", 
    "datePublishedReg": "1994-01-01", 
    "description": "An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial evaluation [19] and Turchin's more powerful \u201cdriving\u201d transformation [33]. Such automatic program speedups have been seen to give quite signifcant speedups in practical applications. This paper's aims are similar to those of [18]: better to understand the fundamental mathematical phenomena that make such speedups possible. The current paper is more complete than [18], since it precisely formulates correctness of code generation; and more powerful, since it includes program optimizations not achievable by simple partial evaluation. Moreover, for the first time it puts Turchin's driving methodology on a solid semantic foundation which is not tied to any particular programming language or data structure.", 
    "editor": [
      {
        "familyName": "Jones", 
        "givenName": "Neil D.", 
        "type": "Person"
      }, 
      {
        "familyName": "Hagiya", 
        "givenName": "Masami", 
        "type": "Person"
      }, 
      {
        "familyName": "Sato", 
        "givenName": "Masahiko", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/bfb0032402", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "3-540-57935-4"
      ], 
      "name": "Logic, Language and Computation", 
      "type": "Book"
    }, 
    "keywords": [
      "simple partial evaluation", 
      "mathematical phenomena", 
      "solid semantic foundation", 
      "abstract framework", 
      "Such speedups", 
      "set of inputs", 
      "particular case", 
      "program optimization", 
      "program speedup", 
      "particular programming language", 
      "Turchin", 
      "practical applications", 
      "data structure", 
      "speedup", 
      "program transformations", 
      "partial evaluation", 
      "optimization", 
      "semantic foundation", 
      "current paper", 
      "code generation", 
      "transformation", 
      "programming language", 
      "set", 
      "paper's aim", 
      "methodology", 
      "correctness", 
      "input", 
      "framework", 
      "applications", 
      "foundation", 
      "essence", 
      "phenomenon", 
      "cases", 
      "language", 
      "driving", 
      "structure", 
      "evaluation", 
      "time", 
      "generation", 
      "first time", 
      "program", 
      "aim", 
      "paper", 
      "Such automatic program speedups", 
      "automatic program speedups", 
      "signifcant speedups", 
      "fundamental mathematical phenomena"
    ], 
    "name": "The essence of program transformation by partial evaluation and driving", 
    "pagination": "206-224", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1027875008"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bfb0032402"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/bfb0032402", 
      "https://app.dimensions.ai/details/publication/pub.1027875008"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-11-01T18:50", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/chapter/chapter_192.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/bfb0032402"
  }
]
 

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/bfb0032402'

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/bfb0032402'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bfb0032402'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bfb0032402'


 

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

116 TRIPLES      23 PREDICATES      73 URIs      66 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bfb0032402 schema:about anzsrc-for:01
2 anzsrc-for:0104
3 schema:author N42a858a6dbff415d869df85e81ebae2e
4 schema:datePublished 1994
5 schema:datePublishedReg 1994-01-01
6 schema:description An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial evaluation [19] and Turchin's more powerful “driving” transformation [33]. Such automatic program speedups have been seen to give quite signifcant speedups in practical applications. This paper's aims are similar to those of [18]: better to understand the fundamental mathematical phenomena that make such speedups possible. The current paper is more complete than [18], since it precisely formulates correctness of code generation; and more powerful, since it includes program optimizations not achievable by simple partial evaluation. Moreover, for the first time it puts Turchin's driving methodology on a solid semantic foundation which is not tied to any particular programming language or data structure.
7 schema:editor Nc0c8e865d3c441c3a3289bf14877a197
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N694731e73e2a45298eee71cb545f7a42
12 schema:keywords Such automatic program speedups
13 Such speedups
14 Turchin
15 abstract framework
16 aim
17 applications
18 automatic program speedups
19 cases
20 code generation
21 correctness
22 current paper
23 data structure
24 driving
25 essence
26 evaluation
27 first time
28 foundation
29 framework
30 fundamental mathematical phenomena
31 generation
32 input
33 language
34 mathematical phenomena
35 methodology
36 optimization
37 paper
38 paper's aim
39 partial evaluation
40 particular case
41 particular programming language
42 phenomenon
43 practical applications
44 program
45 program optimization
46 program speedup
47 program transformations
48 programming language
49 semantic foundation
50 set
51 set of inputs
52 signifcant speedups
53 simple partial evaluation
54 solid semantic foundation
55 speedup
56 structure
57 time
58 transformation
59 schema:name The essence of program transformation by partial evaluation and driving
60 schema:pagination 206-224
61 schema:productId N12237709649745afb0c4d27b1f55273a
62 Nc7892429a8fe49a4829ab22af89ed683
63 schema:publisher N45aa93c02b4f432cb40315ad1a3c4a49
64 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027875008
65 https://doi.org/10.1007/bfb0032402
66 schema:sdDatePublished 2021-11-01T18:50
67 schema:sdLicense https://scigraph.springernature.com/explorer/license/
68 schema:sdPublisher N810b0896f9b54ffeb3e68dd3082884cf
69 schema:url https://doi.org/10.1007/bfb0032402
70 sgo:license sg:explorer/license/
71 sgo:sdDataset chapters
72 rdf:type schema:Chapter
73 N12237709649745afb0c4d27b1f55273a schema:name doi
74 schema:value 10.1007/bfb0032402
75 rdf:type schema:PropertyValue
76 N22707fe639194323bea4dac400666394 schema:familyName Hagiya
77 schema:givenName Masami
78 rdf:type schema:Person
79 N42a858a6dbff415d869df85e81ebae2e rdf:first sg:person.013645752511.03
80 rdf:rest rdf:nil
81 N45aa93c02b4f432cb40315ad1a3c4a49 schema:name Springer Nature
82 rdf:type schema:Organisation
83 N694731e73e2a45298eee71cb545f7a42 schema:isbn 3-540-57935-4
84 schema:name Logic, Language and Computation
85 rdf:type schema:Book
86 N7e908091b537453baaa1f90df73cdf97 schema:familyName Sato
87 schema:givenName Masahiko
88 rdf:type schema:Person
89 N810b0896f9b54ffeb3e68dd3082884cf schema:name Springer Nature - SN SciGraph project
90 rdf:type schema:Organization
91 Na2ad33e9d7f048a2912578e3c8ada7a9 rdf:first N22707fe639194323bea4dac400666394
92 rdf:rest Nbb4bfd5615c341cd89684677e296ebdc
93 Nbb4bfd5615c341cd89684677e296ebdc rdf:first N7e908091b537453baaa1f90df73cdf97
94 rdf:rest rdf:nil
95 Nc0c8e865d3c441c3a3289bf14877a197 rdf:first Nc935c80678c2497fbb8e78c0c3bbec03
96 rdf:rest Na2ad33e9d7f048a2912578e3c8ada7a9
97 Nc7892429a8fe49a4829ab22af89ed683 schema:name dimensions_id
98 schema:value pub.1027875008
99 rdf:type schema:PropertyValue
100 Nc935c80678c2497fbb8e78c0c3bbec03 schema:familyName Jones
101 schema:givenName Neil D.
102 rdf:type schema:Person
103 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
104 schema:name Mathematical Sciences
105 rdf:type schema:DefinedTerm
106 anzsrc-for:0104 schema:inDefinedTermSet anzsrc-for:
107 schema:name Statistics
108 rdf:type schema:DefinedTerm
109 sg:person.013645752511.03 schema:affiliation grid-institutes:grid.5254.6
110 schema:familyName Jones
111 schema:givenName Neil D.
112 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013645752511.03
113 rdf:type schema:Person
114 grid-institutes:grid.5254.6 schema:alternateName DIKU, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen, Denmark
115 schema:name DIKU, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen, Denmark
116 rdf:type schema:Organization
 




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


...