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

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/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Dept. of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen, Denmark", 
          "id": "http://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": "Dept. of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, 66506, ManhattanKS, USA", 
          "id": "http://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": "Dept. of Mathematics and Physics, Royal Veterinary and Agricultural University, Thorvaldsensvej 50, DK-1871, Frederiksberg, Denmark", 
          "id": "http://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"
      }
    ], 
    "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"
    }, 
    "keywords": [
      "program specialization", 
      "multiple encodings", 
      "program specializer", 
      "termination strategies", 
      "language S", 
      "specialization system", 
      "online specializer", 
      "most specific generalization", 
      "specializer", 
      "initial design", 
      "homeomorphic embedding relation", 
      "specific generalization", 
      "basic methods", 
      "primitives", 
      "great advantage", 
      "hierarchy", 
      "graph", 
      "embedding relations", 
      "encoding", 
      "language", 
      "recent work", 
      "generalization", 
      "representation", 
      "system", 
      "advantages", 
      "data", 
      "design", 
      "concept", 
      "important component", 
      "example", 
      "work", 
      "support", 
      "method", 
      "experiments", 
      "aspects", 
      "program", 
      "strategies", 
      "use", 
      "components", 
      "specialization", 
      "multiply", 
      "relation", 
      "paper", 
      "simple functional language S", 
      "functional language S", 
      "self-applicable online program specialization", 
      "online program specialization", 
      "generalization of multiply", 
      "online program specializers", 
      "Online Program Specialization Systems", 
      "Program Specialization Systems"
    ], 
    "name": "Generalization in Hierarchies of Online Program Specialization Systems", 
    "pagination": "179-198", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1014336886"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-48958-4_10"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-48958-4_10", 
      "https://app.dimensions.ai/details/publication/pub.1014336886"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-12-01T19:59", 
    "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_185.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-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.

130 TRIPLES      23 PREDICATES      76 URIs      69 LITERALS      7 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 N7af5cf1308a4477d973f38deeb63cbb5
4 schema:datePublished 1999-04-30
5 schema:datePublishedReg 1999-04-30
6 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.
7 schema:editor N9a1400aaf761460dae604f5aeae8e87a
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N927d56ed71834f5395374361b0616db6
12 schema:keywords Online Program Specialization Systems
13 Program Specialization Systems
14 advantages
15 aspects
16 basic methods
17 components
18 concept
19 data
20 design
21 embedding relations
22 encoding
23 example
24 experiments
25 functional language S
26 generalization
27 generalization of multiply
28 graph
29 great advantage
30 hierarchy
31 homeomorphic embedding relation
32 important component
33 initial design
34 language
35 language S
36 method
37 most specific generalization
38 multiple encodings
39 multiply
40 online program specialization
41 online program specializers
42 online specializer
43 paper
44 primitives
45 program
46 program specialization
47 program specializer
48 recent work
49 relation
50 representation
51 self-applicable online program specialization
52 simple functional language S
53 specialization
54 specialization system
55 specializer
56 specific generalization
57 strategies
58 support
59 system
60 termination strategies
61 use
62 work
63 schema:name Generalization in Hierarchies of Online Program Specialization Systems
64 schema:pagination 179-198
65 schema:productId N89b26c977d72464299584dc24e84d490
66 Nbb0759d6900546b88249cb80e466f44d
67 schema:publisher N88b1a13f361a469bbde10321d1b83dc0
68 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014336886
69 https://doi.org/10.1007/3-540-48958-4_10
70 schema:sdDatePublished 2021-12-01T19:59
71 schema:sdLicense https://scigraph.springernature.com/explorer/license/
72 schema:sdPublisher Nde3f2810e9d948b3918deab4fcb8c8cd
73 schema:url https://doi.org/10.1007/3-540-48958-4_10
74 sgo:license sg:explorer/license/
75 sgo:sdDataset chapters
76 rdf:type schema:Chapter
77 N1eb6463ad5ae42b4bdb1836f8874e676 rdf:first sg:person.014635222727.02
78 rdf:rest Nb463131d66bf448fb4b48eda7d4438a8
79 N7af5cf1308a4477d973f38deeb63cbb5 rdf:first sg:person.010754010217.31
80 rdf:rest N1eb6463ad5ae42b4bdb1836f8874e676
81 N7f6e08c17c004fc2bf2d2b4eef753a98 schema:familyName Flener
82 schema:givenName Pierre
83 rdf:type schema:Person
84 N88b1a13f361a469bbde10321d1b83dc0 schema:name Springer Nature
85 rdf:type schema:Organisation
86 N89b26c977d72464299584dc24e84d490 schema:name doi
87 schema:value 10.1007/3-540-48958-4_10
88 rdf:type schema:PropertyValue
89 N927d56ed71834f5395374361b0616db6 schema:isbn 978-3-540-48958-0
90 978-3-540-65765-1
91 schema:name Logic-Based Program Synthesis and Transformation
92 rdf:type schema:Book
93 N9a1400aaf761460dae604f5aeae8e87a rdf:first N7f6e08c17c004fc2bf2d2b4eef753a98
94 rdf:rest rdf:nil
95 Nb463131d66bf448fb4b48eda7d4438a8 rdf:first sg:person.014706352727.82
96 rdf:rest rdf:nil
97 Nbb0759d6900546b88249cb80e466f44d schema:name dimensions_id
98 schema:value pub.1014336886
99 rdf:type schema:PropertyValue
100 Nde3f2810e9d948b3918deab4fcb8c8cd schema:name Springer Nature - SN SciGraph project
101 rdf:type schema:Organization
102 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
103 schema:name Information and Computing Sciences
104 rdf:type schema:DefinedTerm
105 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
106 schema:name Information Systems
107 rdf:type schema:DefinedTerm
108 sg:person.010754010217.31 schema:affiliation grid-institutes:grid.5254.6
109 schema:familyName Glück
110 schema:givenName Robert
111 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
112 rdf:type schema:Person
113 sg:person.014635222727.02 schema:affiliation grid-institutes:grid.36567.31
114 schema:familyName Hatcliff
115 schema:givenName John
116 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014635222727.02
117 rdf:type schema:Person
118 sg:person.014706352727.82 schema:affiliation grid-institutes:grid.5254.6
119 schema:familyName Jørgensen
120 schema:givenName Jesper
121 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014706352727.82
122 rdf:type schema:Person
123 grid-institutes:grid.36567.31 schema:alternateName Dept. of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, 66506, ManhattanKS, USA
124 schema:name Dept. of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, 66506, ManhattanKS, USA
125 rdf:type schema:Organization
126 grid-institutes:grid.5254.6 schema:alternateName Dept. of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen, Denmark
127 Dept. of Mathematics and Physics, Royal Veterinary and Agricultural University, Thorvaldsensvej 50, DK-1871, Frederiksberg, Denmark
128 schema:name Dept. of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100, Copenhagen, Denmark
129 Dept. of Mathematics and Physics, Royal Veterinary and Agricultural University, Thorvaldsensvej 50, DK-1871, Frederiksberg, Denmark
130 rdf:type schema:Organization
 




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


...