Reasoning about hierarchies of online program specialization systems View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1996

AUTHORS

John Hatcliff , Robert Glück

ABSTRACT

Evaluation of S-Graph-n is formalized via an operational semantics. This semantics is used to justify the fundamental operations on metavariables — special-purpose tags for tracking unknown values in self-applicable online specialization systems. We show how metavariables can be used to construct biased generating extensions without relying on a separate binding-time analysis phase. More... »

PAGES

161-182

Book

TITLE

Partial Evaluation

ISBN

978-3-540-61580-4
978-3-540-70589-5

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-61580-6_9

DOI

http://dx.doi.org/10.1007/3-540-61580-6_9

DIMENSIONS

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


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/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "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 \u00f8, Denmark"
          ], 
          "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": [
            "DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100\u00a0Copenhagen \u00f8, 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"
      }
    ], 
    "datePublished": "1996", 
    "datePublishedReg": "1996-01-01", 
    "description": "Evaluation of S-Graph-n is formalized via an operational semantics. This semantics is used to justify the fundamental operations on metavariables \u2014 special-purpose tags for tracking unknown values in self-applicable online specialization systems. We show how metavariables can be used to construct biased generating extensions without relying on a separate binding-time analysis phase.", 
    "editor": [
      {
        "familyName": "Danvy", 
        "givenName": "Olivier", 
        "type": "Person"
      }, 
      {
        "familyName": "Gl\u00fcck", 
        "givenName": "Robert", 
        "type": "Person"
      }, 
      {
        "familyName": "Thiemann", 
        "givenName": "Peter", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-61580-6_9", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-61580-4", 
        "978-3-540-70589-5"
      ], 
      "name": "Partial Evaluation", 
      "type": "Book"
    }, 
    "name": "Reasoning about hierarchies of online program specialization systems", 
    "pagination": "161-182", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-61580-6_9"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "1a7a8cac58b1a2955eca404861f4f57bb3799588b39cbf102beed62e56eccc00"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1005557603"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-61580-6_9", 
      "https://app.dimensions.ai/details/publication/pub.1005557603"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T14:09", 
    "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_8669_00000009.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/3-540-61580-6_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/3-540-61580-6_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/3-540-61580-6_9'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-61580-6_9'

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-61580-6_9'


 

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

82 TRIPLES      22 PREDICATES      27 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-61580-6_9 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author N4c6cd036144045d49ca5a9843ba878d9
4 schema:datePublished 1996
5 schema:datePublishedReg 1996-01-01
6 schema:description Evaluation of S-Graph-n is formalized via an operational semantics. This semantics is used to justify the fundamental operations on metavariables — special-purpose tags for tracking unknown values in self-applicable online specialization systems. We show how metavariables can be used to construct biased generating extensions without relying on a separate binding-time analysis phase.
7 schema:editor Nc60dfa17541d4ecbbb9bcc8c34d8f2ed
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N92630123e5024a74bea00969d71c9169
12 schema:name Reasoning about hierarchies of online program specialization systems
13 schema:pagination 161-182
14 schema:productId N24335e7523a94d2e9479f6b97330fa49
15 Ndc1d1817dfa94d0b8f3ece78ed4b5af7
16 Ne17efbf0e11341e59ced8f1a4e4eb440
17 schema:publisher N3db2ccadeb3c45b19242dc013f93ab91
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005557603
19 https://doi.org/10.1007/3-540-61580-6_9
20 schema:sdDatePublished 2019-04-15T14:09
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher Ndd5a634e880c4a54b6b8269c5eca7187
23 schema:url http://link.springer.com/10.1007/3-540-61580-6_9
24 sgo:license sg:explorer/license/
25 sgo:sdDataset chapters
26 rdf:type schema:Chapter
27 N24335e7523a94d2e9479f6b97330fa49 schema:name readcube_id
28 schema:value 1a7a8cac58b1a2955eca404861f4f57bb3799588b39cbf102beed62e56eccc00
29 rdf:type schema:PropertyValue
30 N338bdb85c28d4ea4aa7a8dfa13ce049a schema:familyName Glück
31 schema:givenName Robert
32 rdf:type schema:Person
33 N3db2ccadeb3c45b19242dc013f93ab91 schema:location Berlin, Heidelberg
34 schema:name Springer Berlin Heidelberg
35 rdf:type schema:Organisation
36 N4723b4f8c5f3421cb74e133c3cefedf1 rdf:first sg:person.010754010217.31
37 rdf:rest rdf:nil
38 N4c6cd036144045d49ca5a9843ba878d9 rdf:first sg:person.014635222727.02
39 rdf:rest N4723b4f8c5f3421cb74e133c3cefedf1
40 N7cc1ac83f5da46c4bcf95fce9ef2c8e4 schema:familyName Danvy
41 schema:givenName Olivier
42 rdf:type schema:Person
43 N85c6424daf9c4bcfa7eb91ae1905b38a rdf:first N338bdb85c28d4ea4aa7a8dfa13ce049a
44 rdf:rest N99b5e30c4d5c4054a5b9c385c9d8eacf
45 N92630123e5024a74bea00969d71c9169 schema:isbn 978-3-540-61580-4
46 978-3-540-70589-5
47 schema:name Partial Evaluation
48 rdf:type schema:Book
49 N99b5e30c4d5c4054a5b9c385c9d8eacf rdf:first Nc4ad51e12c974c09a557d81dc6f6f802
50 rdf:rest rdf:nil
51 Nc4ad51e12c974c09a557d81dc6f6f802 schema:familyName Thiemann
52 schema:givenName Peter
53 rdf:type schema:Person
54 Nc60dfa17541d4ecbbb9bcc8c34d8f2ed rdf:first N7cc1ac83f5da46c4bcf95fce9ef2c8e4
55 rdf:rest N85c6424daf9c4bcfa7eb91ae1905b38a
56 Ndc1d1817dfa94d0b8f3ece78ed4b5af7 schema:name dimensions_id
57 schema:value pub.1005557603
58 rdf:type schema:PropertyValue
59 Ndd5a634e880c4a54b6b8269c5eca7187 schema:name Springer Nature - SN SciGraph project
60 rdf:type schema:Organization
61 Ne17efbf0e11341e59ced8f1a4e4eb440 schema:name doi
62 schema:value 10.1007/3-540-61580-6_9
63 rdf:type schema:PropertyValue
64 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
65 schema:name Information and Computing Sciences
66 rdf:type schema:DefinedTerm
67 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
68 schema:name Computation Theory and Mathematics
69 rdf:type schema:DefinedTerm
70 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
71 schema:familyName Glück
72 schema:givenName Robert
73 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
74 rdf:type schema:Person
75 sg:person.014635222727.02 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
76 schema:familyName Hatcliff
77 schema:givenName John
78 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014635222727.02
79 rdf:type schema:Person
80 https://www.grid.ac/institutes/grid.5254.6 schema:alternateName University of Copenhagen
81 schema:name DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen ø, Denmark
82 rdf:type schema:Organization
 




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


...