Generalization in Hierarchies of Online Program Specialization Systems View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1999-04-30

AUTHORS

Robert Glück , John Hatcliff , Jesper Jørgensen

ABSTRACT

In recent work, we proposed a simple functional language S-graph-n to study metaprogramming aspects of self-applicable online program specialization. The primitives of the language provide support for multiple encodings of programs. An important component of online program specialization is the termination strategy. In this paper we show that such a representation has the great advantage of simplifying generalization of multiply encoded data. After developing and formalizing the basic metaprogramming concepts, we extend two basic methods to multiply encoded data: most specific generalization and the homeomorphic embedding relation. Examples and experiments with the initial design of an online specializer illustrate their use in hierarchies of online program specializers. More... »

PAGES

179-198

References to SciGraph publications

Book

TITLE

Logic-Based Program Synthesis and Transformation

ISBN

978-3-540-65765-1
978-3-540-48958-0

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-48958-4_10

DOI

http://dx.doi.org/10.1007/3-540-48958-4_10

DIMENSIONS

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


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/0806", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information Systems", 
        "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": [
            "Dept. 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": "Kansas State University", 
          "id": "https://www.grid.ac/institutes/grid.36567.31", 
          "name": [
            "Dept. of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, 66506, ManhattanKS, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Hatcliff", 
        "givenName": "John", 
        "id": "sg:person.014635222727.02", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014635222727.02"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Copenhagen", 
          "id": "https://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "Dept. of Mathematics and Physics, Royal Veterinary and Agricultural University, Thorvaldsensvej 50, DK-1871, Frederiksberg, 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/3-540-49674-2_17", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1002514665", 
          "https://doi.org/10.1007/3-540-49674-2_17"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-49674-2_17", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1002514665", 
          "https://doi.org/10.1007/3-540-49674-2_17"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-57264-3_34", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1003987904", 
          "https://doi.org/10.1007/3-540-57264-3_34"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-61580-6_9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1005557603", 
          "https://doi.org/10.1007/3-540-61580-6_9"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-61055-3_28", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1015445375", 
          "https://doi.org/10.1007/3-540-61055-3_28"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/5956.5957", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1016193336"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-61580-6_13", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1026756392", 
          "https://doi.org/10.1007/3-540-61580-6_13"
        ], 
        "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-60939-3_18", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1031899271", 
          "https://doi.org/10.1007/3-540-60939-3_18"
        ], 
        "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": "sg:pub.10.1007/3-540-49727-7_14", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1040158339", 
          "https://doi.org/10.1007/3-540-49727-7_14"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0743-1066(93)90022-9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1040465275"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0743-1066(94)90028-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1049780399"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-61580-6_24", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1052100186", 
          "https://doi.org/10.1007/3-540-61580-6_24"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "1999-04-30", 
    "datePublishedReg": "1999-04-30", 
    "description": "In recent work, we proposed a simple functional language S-graph-n to study metaprogramming aspects of self-applicable online program specialization. The primitives of the language provide support for multiple encodings of programs. An important component of online program specialization is the termination strategy. In this paper we show that such a representation has the great advantage of simplifying generalization of multiply encoded data. After developing and formalizing the basic metaprogramming concepts, we extend two basic methods to multiply encoded data: most specific generalization and the homeomorphic embedding relation. Examples and experiments with the initial design of an online specializer illustrate their use in hierarchies of online program specializers.", 
    "editor": [
      {
        "familyName": "Flener", 
        "givenName": "Pierre", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-48958-4_10", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-65765-1", 
        "978-3-540-48958-0"
      ], 
      "name": "Logic-Based Program Synthesis and Transformation", 
      "type": "Book"
    }, 
    "name": "Generalization in Hierarchies of Online Program Specialization Systems", 
    "pagination": "179-198", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-48958-4_10"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "444cbac91d8c982afd213fb365b73a925da8c5cf09573d0430d88d7419894f62"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1014336886"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-48958-4_10", 
      "https://app.dimensions.ai/details/publication/pub.1014336886"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T05:14", 
    "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/0000000338_0000000338/records_47963_00000000.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F3-540-48958-4_10"
  }
]
 

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-48958-4_10'

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-48958-4_10'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-48958-4_10'

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-48958-4_10'


 

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

135 TRIPLES      23 PREDICATES      40 URIs      19 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-48958-4_10 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 schema:author Nbdeb477a709942f9a14f62fdd1f3acd7
4 schema:citation sg:pub.10.1007/3-540-49674-2_17
5 sg:pub.10.1007/3-540-49727-7_14
6 sg:pub.10.1007/3-540-57264-3_34
7 sg:pub.10.1007/3-540-60939-3_18
8 sg:pub.10.1007/3-540-61055-3_28
9 sg:pub.10.1007/3-540-61580-6_13
10 sg:pub.10.1007/3-540-61580-6_24
11 sg:pub.10.1007/3-540-61580-6_9
12 sg:pub.10.1007/3-540-62599-2_51
13 sg:pub.10.1023/a:1007763000430
14 https://doi.org/10.1016/0743-1066(93)90022-9
15 https://doi.org/10.1016/0743-1066(94)90028-0
16 https://doi.org/10.1145/258993.259019
17 https://doi.org/10.1145/5956.5957
18 schema:datePublished 1999-04-30
19 schema:datePublishedReg 1999-04-30
20 schema:description In recent work, we proposed a simple functional language S-graph-n to study metaprogramming aspects of self-applicable online program specialization. The primitives of the language provide support for multiple encodings of programs. An important component of online program specialization is the termination strategy. In this paper we show that such a representation has the great advantage of simplifying generalization of multiply encoded data. After developing and formalizing the basic metaprogramming concepts, we extend two basic methods to multiply encoded data: most specific generalization and the homeomorphic embedding relation. Examples and experiments with the initial design of an online specializer illustrate their use in hierarchies of online program specializers.
21 schema:editor Nb6ba779ad4dd449a97cdc6906a2f0936
22 schema:genre chapter
23 schema:inLanguage en
24 schema:isAccessibleForFree false
25 schema:isPartOf Nf79b021fbe574e6a9c961bbcd8990025
26 schema:name Generalization in Hierarchies of Online Program Specialization Systems
27 schema:pagination 179-198
28 schema:productId N359df429cdf4455dad7d303bcaa6f99d
29 N8794d85ba104449daa6b47de74fc67c1
30 N956e6f933b5342308ae0e36af8833844
31 schema:publisher N76393080675f4a5c8ea4794439788980
32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014336886
33 https://doi.org/10.1007/3-540-48958-4_10
34 schema:sdDatePublished 2019-04-16T05:14
35 schema:sdLicense https://scigraph.springernature.com/explorer/license/
36 schema:sdPublisher Na9edece452344a3eac5f75a6efac0210
37 schema:url https://link.springer.com/10.1007%2F3-540-48958-4_10
38 sgo:license sg:explorer/license/
39 sgo:sdDataset chapters
40 rdf:type schema:Chapter
41 N04fa0883786543a790ad3e7d6f6e707b rdf:first sg:person.014635222727.02
42 rdf:rest Nd2040b903ea94b8ea63171a43b8977be
43 N359df429cdf4455dad7d303bcaa6f99d schema:name dimensions_id
44 schema:value pub.1014336886
45 rdf:type schema:PropertyValue
46 N76393080675f4a5c8ea4794439788980 schema:location Berlin, Heidelberg
47 schema:name Springer Berlin Heidelberg
48 rdf:type schema:Organisation
49 N7780cbd9878241f08ce039fbe1c8f24e schema:familyName Flener
50 schema:givenName Pierre
51 rdf:type schema:Person
52 N8794d85ba104449daa6b47de74fc67c1 schema:name readcube_id
53 schema:value 444cbac91d8c982afd213fb365b73a925da8c5cf09573d0430d88d7419894f62
54 rdf:type schema:PropertyValue
55 N956e6f933b5342308ae0e36af8833844 schema:name doi
56 schema:value 10.1007/3-540-48958-4_10
57 rdf:type schema:PropertyValue
58 Na9edece452344a3eac5f75a6efac0210 schema:name Springer Nature - SN SciGraph project
59 rdf:type schema:Organization
60 Nb6ba779ad4dd449a97cdc6906a2f0936 rdf:first N7780cbd9878241f08ce039fbe1c8f24e
61 rdf:rest rdf:nil
62 Nbdeb477a709942f9a14f62fdd1f3acd7 rdf:first sg:person.010754010217.31
63 rdf:rest N04fa0883786543a790ad3e7d6f6e707b
64 Nd2040b903ea94b8ea63171a43b8977be rdf:first sg:person.014706352727.82
65 rdf:rest rdf:nil
66 Nf79b021fbe574e6a9c961bbcd8990025 schema:isbn 978-3-540-48958-0
67 978-3-540-65765-1
68 schema:name Logic-Based Program Synthesis and Transformation
69 rdf:type schema:Book
70 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
71 schema:name Information and Computing Sciences
72 rdf:type schema:DefinedTerm
73 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
74 schema:name Information Systems
75 rdf:type schema:DefinedTerm
76 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
77 schema:familyName Glück
78 schema:givenName Robert
79 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
80 rdf:type schema:Person
81 sg:person.014635222727.02 schema:affiliation https://www.grid.ac/institutes/grid.36567.31
82 schema:familyName Hatcliff
83 schema:givenName John
84 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014635222727.02
85 rdf:type schema:Person
86 sg:person.014706352727.82 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
87 schema:familyName Jørgensen
88 schema:givenName Jesper
89 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014706352727.82
90 rdf:type schema:Person
91 sg:pub.10.1007/3-540-49674-2_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002514665
92 https://doi.org/10.1007/3-540-49674-2_17
93 rdf:type schema:CreativeWork
94 sg:pub.10.1007/3-540-49727-7_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040158339
95 https://doi.org/10.1007/3-540-49727-7_14
96 rdf:type schema:CreativeWork
97 sg:pub.10.1007/3-540-57264-3_34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003987904
98 https://doi.org/10.1007/3-540-57264-3_34
99 rdf:type schema:CreativeWork
100 sg:pub.10.1007/3-540-60939-3_18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031899271
101 https://doi.org/10.1007/3-540-60939-3_18
102 rdf:type schema:CreativeWork
103 sg:pub.10.1007/3-540-61055-3_28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015445375
104 https://doi.org/10.1007/3-540-61055-3_28
105 rdf:type schema:CreativeWork
106 sg:pub.10.1007/3-540-61580-6_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026756392
107 https://doi.org/10.1007/3-540-61580-6_13
108 rdf:type schema:CreativeWork
109 sg:pub.10.1007/3-540-61580-6_24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052100186
110 https://doi.org/10.1007/3-540-61580-6_24
111 rdf:type schema:CreativeWork
112 sg:pub.10.1007/3-540-61580-6_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005557603
113 https://doi.org/10.1007/3-540-61580-6_9
114 rdf:type schema:CreativeWork
115 sg:pub.10.1007/3-540-62599-2_51 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028181799
116 https://doi.org/10.1007/3-540-62599-2_51
117 rdf:type schema:CreativeWork
118 sg:pub.10.1023/a:1007763000430 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038704478
119 https://doi.org/10.1023/a:1007763000430
120 rdf:type schema:CreativeWork
121 https://doi.org/10.1016/0743-1066(93)90022-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040465275
122 rdf:type schema:CreativeWork
123 https://doi.org/10.1016/0743-1066(94)90028-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049780399
124 rdf:type schema:CreativeWork
125 https://doi.org/10.1145/258993.259019 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039900922
126 rdf:type schema:CreativeWork
127 https://doi.org/10.1145/5956.5957 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016193336
128 rdf:type schema:CreativeWork
129 https://www.grid.ac/institutes/grid.36567.31 schema:alternateName Kansas State University
130 schema:name Dept. of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, 66506, ManhattanKS, USA
131 rdf:type schema:Organization
132 https://www.grid.ac/institutes/grid.5254.6 schema:alternateName University of Copenhagen
133 schema:name Dept. of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen, Denmark
134 Dept. of Mathematics and Physics, Royal Veterinary and Agricultural University, Thorvaldsensvej 50, DK-1871, Frederiksberg, Denmark
135 rdf:type schema:Organization
 




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


...