On Perfect Supercompilation View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2000-01-28

AUTHORS

Jens Peter Secher , Morten Heine Sørensen

ABSTRACT

We extend positive supercompilation to handle negative as well as positive information. This is done by instrumenting the underlying unfold rules with a small rewrite system that handles constraints on. terms, thereby ensuring perfect information propagation. We illustrate this by transforming a naïvely specialised string matcher into an optimal one. The presented algorithm is guaranteed to terminate by means of generalisation steps. More... »

PAGES

113-127

Book

TITLE

Perspectives of System Informatics

ISBN

978-3-540-67102-2
978-3-540-46562-1

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-46562-6_10

DOI

http://dx.doi.org/10.1007/3-540-46562-6_10

DIMENSIONS

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


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/17", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Psychology and Cognitive Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1701", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Psychology", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, DK-2100, Copenhagen \u00d8, Denmark", 
          "id": "http://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, DK-2100, Copenhagen \u00d8, Denmark"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Secher", 
        "givenName": "Jens Peter", 
        "id": "sg:person.015336776547.31", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015336776547.31"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, DK-2100, Copenhagen \u00d8, Denmark", 
          "id": "http://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, DK-2100, Copenhagen \u00d8, Denmark"
          ], 
          "type": "Organization"
        }, 
        "familyName": "S\u00f8rensen", 
        "givenName": "Morten Heine", 
        "id": "sg:person.012500751041.71", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012500751041.71"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2000-01-28", 
    "datePublishedReg": "2000-01-28", 
    "description": "We extend positive supercompilation to handle negative as well as positive information. This is done by instrumenting the underlying unfold rules with a small rewrite system that handles constraints on. terms, thereby ensuring perfect information propagation. We illustrate this by transforming a na\u00efvely specialised string matcher into an optimal one. The presented algorithm is guaranteed to terminate by means of generalisation steps.", 
    "editor": [
      {
        "familyName": "Bj\u00f8ner", 
        "givenName": "Dines", 
        "type": "Person"
      }, 
      {
        "familyName": "Broy", 
        "givenName": "Manfred", 
        "type": "Person"
      }, 
      {
        "familyName": "Zamulin", 
        "givenName": "Alexandre V.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-46562-6_10", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-67102-2", 
        "978-3-540-46562-1"
      ], 
      "name": "Perspectives of System Informatics", 
      "type": "Book"
    }, 
    "keywords": [
      "positive information", 
      "information propagation", 
      "information", 
      "terms", 
      "rules", 
      "matcher", 
      "one", 
      "constraints", 
      "means", 
      "system", 
      "step", 
      "algorithm", 
      "rewrite systems", 
      "optimal ones", 
      "string matcher", 
      "propagation", 
      "positive supercompilation", 
      "generalisation step", 
      "supercompilation", 
      "underlying unfold rules", 
      "unfold rules", 
      "small rewrite system", 
      "perfect information propagation", 
      "Perfect Supercompilation"
    ], 
    "name": "On Perfect Supercompilation", 
    "pagination": "113-127", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1016922795"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-46562-6_10"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-46562-6_10", 
      "https://app.dimensions.ai/details/publication/pub.1016922795"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-12-01T20:07", 
    "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_369.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-46562-6_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-46562-6_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-46562-6_10'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-46562-6_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-46562-6_10'


 

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

101 TRIPLES      23 PREDICATES      49 URIs      42 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-46562-6_10 schema:about anzsrc-for:17
2 anzsrc-for:1701
3 schema:author N608abe8d507f477ab51205860c2ba556
4 schema:datePublished 2000-01-28
5 schema:datePublishedReg 2000-01-28
6 schema:description We extend positive supercompilation to handle negative as well as positive information. This is done by instrumenting the underlying unfold rules with a small rewrite system that handles constraints on. terms, thereby ensuring perfect information propagation. We illustrate this by transforming a naïvely specialised string matcher into an optimal one. The presented algorithm is guaranteed to terminate by means of generalisation steps.
7 schema:editor N0727b301d9c94d3ca13078cd1dacc300
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N9ec3839866cf423c80d4ac931a39c57d
12 schema:keywords Perfect Supercompilation
13 algorithm
14 constraints
15 generalisation step
16 information
17 information propagation
18 matcher
19 means
20 one
21 optimal ones
22 perfect information propagation
23 positive information
24 positive supercompilation
25 propagation
26 rewrite systems
27 rules
28 small rewrite system
29 step
30 string matcher
31 supercompilation
32 system
33 terms
34 underlying unfold rules
35 unfold rules
36 schema:name On Perfect Supercompilation
37 schema:pagination 113-127
38 schema:productId N5761d3eacde942829c74444361719a2a
39 Nffc793b1d44740ecbaf2f8f0da38286d
40 schema:publisher Nf9219d00c7ab41e692ca7a96aa75205d
41 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016922795
42 https://doi.org/10.1007/3-540-46562-6_10
43 schema:sdDatePublished 2021-12-01T20:07
44 schema:sdLicense https://scigraph.springernature.com/explorer/license/
45 schema:sdPublisher N1c621cac12094e2e8cd95fa416c0aca7
46 schema:url https://doi.org/10.1007/3-540-46562-6_10
47 sgo:license sg:explorer/license/
48 sgo:sdDataset chapters
49 rdf:type schema:Chapter
50 N0727b301d9c94d3ca13078cd1dacc300 rdf:first Ncfd0939c8d0648d495cb9459d45dc377
51 rdf:rest N3f509511851d4daa9bd657e8282b5d85
52 N0b356a13f3484cd0a05529f3f9ece97a rdf:first sg:person.012500751041.71
53 rdf:rest rdf:nil
54 N1c621cac12094e2e8cd95fa416c0aca7 schema:name Springer Nature - SN SciGraph project
55 rdf:type schema:Organization
56 N3baeabb935244fc1b2757fa01bec047e schema:familyName Broy
57 schema:givenName Manfred
58 rdf:type schema:Person
59 N3f509511851d4daa9bd657e8282b5d85 rdf:first N3baeabb935244fc1b2757fa01bec047e
60 rdf:rest N566c801be24d4d56a7995adb8b533e0e
61 N566c801be24d4d56a7995adb8b533e0e rdf:first Nfff5c36386c047bdbc5598c2343dfc66
62 rdf:rest rdf:nil
63 N5761d3eacde942829c74444361719a2a schema:name doi
64 schema:value 10.1007/3-540-46562-6_10
65 rdf:type schema:PropertyValue
66 N608abe8d507f477ab51205860c2ba556 rdf:first sg:person.015336776547.31
67 rdf:rest N0b356a13f3484cd0a05529f3f9ece97a
68 N9ec3839866cf423c80d4ac931a39c57d schema:isbn 978-3-540-46562-1
69 978-3-540-67102-2
70 schema:name Perspectives of System Informatics
71 rdf:type schema:Book
72 Ncfd0939c8d0648d495cb9459d45dc377 schema:familyName Bjøner
73 schema:givenName Dines
74 rdf:type schema:Person
75 Nf9219d00c7ab41e692ca7a96aa75205d schema:name Springer Nature
76 rdf:type schema:Organisation
77 Nffc793b1d44740ecbaf2f8f0da38286d schema:name dimensions_id
78 schema:value pub.1016922795
79 rdf:type schema:PropertyValue
80 Nfff5c36386c047bdbc5598c2343dfc66 schema:familyName Zamulin
81 schema:givenName Alexandre V.
82 rdf:type schema:Person
83 anzsrc-for:17 schema:inDefinedTermSet anzsrc-for:
84 schema:name Psychology and Cognitive Sciences
85 rdf:type schema:DefinedTerm
86 anzsrc-for:1701 schema:inDefinedTermSet anzsrc-for:
87 schema:name Psychology
88 rdf:type schema:DefinedTerm
89 sg:person.012500751041.71 schema:affiliation grid-institutes:grid.5254.6
90 schema:familyName Sørensen
91 schema:givenName Morten Heine
92 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012500751041.71
93 rdf:type schema:Person
94 sg:person.015336776547.31 schema:affiliation grid-institutes:grid.5254.6
95 schema:familyName Secher
96 schema:givenName Jens Peter
97 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015336776547.31
98 rdf:type schema:Person
99 grid-institutes:grid.5254.6 schema:alternateName Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, DK-2100, Copenhagen Ø, Denmark
100 schema:name Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, DK-2100, Copenhagen Ø, Denmark
101 rdf:type schema:Organization
 




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


...