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-12-01T20:05", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/chapter/chapter_326.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 N875d694eb5bf43d6986ef4a1b64433a7
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 N4d42f877d3ac4b7da5009838b0255934
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N963213c85b8d4866a455fbbdde3cab33
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 N03a22daf2ea947568b7f8ead41787f5e
62 Ndc11a95003c84954aa0ccec5e5f7c946
63 schema:publisher N0a5400626f6341e19577b96a1d06a3e6
64 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027875008
65 https://doi.org/10.1007/bfb0032402
66 schema:sdDatePublished 2021-12-01T20:05
67 schema:sdLicense https://scigraph.springernature.com/explorer/license/
68 schema:sdPublisher N229dc51844ed462484d98796c20fb78e
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 N03a22daf2ea947568b7f8ead41787f5e schema:name dimensions_id
74 schema:value pub.1027875008
75 rdf:type schema:PropertyValue
76 N0a5400626f6341e19577b96a1d06a3e6 schema:name Springer Nature
77 rdf:type schema:Organisation
78 N229dc51844ed462484d98796c20fb78e schema:name Springer Nature - SN SciGraph project
79 rdf:type schema:Organization
80 N3a13b6d9919f439ab911abc17123964f schema:familyName Sato
81 schema:givenName Masahiko
82 rdf:type schema:Person
83 N3de0c0436c8d4a01b8079a4de6b6b752 rdf:first N3a13b6d9919f439ab911abc17123964f
84 rdf:rest rdf:nil
85 N4d42f877d3ac4b7da5009838b0255934 rdf:first N64dcbe59153d484bbf4ea71270e4d047
86 rdf:rest Na8a2262a7edf4a34aaa62069665339a1
87 N52a10879dbd54ab7893fd4d4e0189307 schema:familyName Hagiya
88 schema:givenName Masami
89 rdf:type schema:Person
90 N64dcbe59153d484bbf4ea71270e4d047 schema:familyName Jones
91 schema:givenName Neil D.
92 rdf:type schema:Person
93 N875d694eb5bf43d6986ef4a1b64433a7 rdf:first sg:person.013645752511.03
94 rdf:rest rdf:nil
95 N963213c85b8d4866a455fbbdde3cab33 schema:isbn 3-540-57935-4
96 schema:name Logic, Language and Computation
97 rdf:type schema:Book
98 Na8a2262a7edf4a34aaa62069665339a1 rdf:first N52a10879dbd54ab7893fd4d4e0189307
99 rdf:rest N3de0c0436c8d4a01b8079a4de6b6b752
100 Ndc11a95003c84954aa0ccec5e5f7c946 schema:name doi
101 schema:value 10.1007/bfb0032402
102 rdf:type schema:PropertyValue
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)


...