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-11-01T18:57", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/chapter/chapter_361.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 Nc800aa4c689949e3b52e8ba459143b42
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 N65c7149dcf60424fae6b9b0c1f188604
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nfbcdd725db1941b1a9246179a239a616
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 Nbe91ba0a690b46dbbe346ca521d853c1
39 Ne714cfe666ea4bbba70264fde97840bd
40 schema:publisher N683b01141a2044be86c2908bf4173732
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-11-01T18:57
44 schema:sdLicense https://scigraph.springernature.com/explorer/license/
45 schema:sdPublisher Ndd7040aa51244a38a2fe6779534b8663
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 N604ea44c307c4eb0aa6f44c622aa349f rdf:first Necc7efa93fb842ea934173d5acafe6c1
51 rdf:rest N93abd033209c46b39e5371e34ba81ced
52 N65c7149dcf60424fae6b9b0c1f188604 rdf:first Na75022596d784cb2ad5cc6e7628f1209
53 rdf:rest N604ea44c307c4eb0aa6f44c622aa349f
54 N683b01141a2044be86c2908bf4173732 schema:name Springer Nature
55 rdf:type schema:Organisation
56 N7c982c3e42f6406681d623e83f0a1405 rdf:first sg:person.012500751041.71
57 rdf:rest rdf:nil
58 N93abd033209c46b39e5371e34ba81ced rdf:first Ne58447e65fcc4472a8b9c95c8504226b
59 rdf:rest rdf:nil
60 Na75022596d784cb2ad5cc6e7628f1209 schema:familyName Bjøner
61 schema:givenName Dines
62 rdf:type schema:Person
63 Nbe91ba0a690b46dbbe346ca521d853c1 schema:name dimensions_id
64 schema:value pub.1016922795
65 rdf:type schema:PropertyValue
66 Nc800aa4c689949e3b52e8ba459143b42 rdf:first sg:person.015336776547.31
67 rdf:rest N7c982c3e42f6406681d623e83f0a1405
68 Ndd7040aa51244a38a2fe6779534b8663 schema:name Springer Nature - SN SciGraph project
69 rdf:type schema:Organization
70 Ne58447e65fcc4472a8b9c95c8504226b schema:familyName Zamulin
71 schema:givenName Alexandre V.
72 rdf:type schema:Person
73 Ne714cfe666ea4bbba70264fde97840bd schema:name doi
74 schema:value 10.1007/3-540-46562-6_10
75 rdf:type schema:PropertyValue
76 Necc7efa93fb842ea934173d5acafe6c1 schema:familyName Broy
77 schema:givenName Manfred
78 rdf:type schema:Person
79 Nfbcdd725db1941b1a9246179a239a616 schema:isbn 978-3-540-46562-1
80 978-3-540-67102-2
81 schema:name Perspectives of System Informatics
82 rdf:type schema:Book
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)


...