Supercompilation for Datatypes View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2015-04-19

AUTHORS

Torben Ægidius Mogensen

ABSTRACT

Supercompilation is a method of transforming programs to obtain equivalent programs that perform fewer computation steps and allocates less memory. A transformed program defines new functions that are combinations of functions from the original program, but the datatypes in the transformed program is a subset of the datatypes defined in the original program. We will change this by extending supercompilation to create new datatypes.We do this by creating new constructors that combine several constructors from the original program in a way reminiscent of how supercompilation combines several functions to create new functions. More... »

PAGES

232-247

Book

TITLE

Perspectives of System Informatics

ISBN

978-3-662-46822-7
978-3-662-46823-4

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-662-46823-4_19

DOI

http://dx.doi.org/10.1007/978-3-662-46823-4_19

DIMENSIONS

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


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/11", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Medical and Health Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1117", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Public Health and Health Services", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "DIKU, University of Copenhagen, Universitetsparken 5, 2100, Copenhagen O, Denmark", 
          "id": "http://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "DIKU, University of Copenhagen, Universitetsparken 5, 2100, Copenhagen O, Denmark"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Mogensen", 
        "givenName": "Torben \u00c6gidius", 
        "id": "sg:person.016655503425.67", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016655503425.67"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2015-04-19", 
    "datePublishedReg": "2015-04-19", 
    "description": "Supercompilation is a method of transforming programs to obtain equivalent programs that perform fewer computation steps and allocates less memory. A transformed program defines new functions that are combinations of functions from the original program, but the datatypes in the transformed program is a subset of the datatypes defined in the original program. We will change this by extending supercompilation to create new datatypes.We do this by creating new constructors that combine several constructors from the original program in a way reminiscent of how supercompilation combines several functions to create new functions.", 
    "editor": [
      {
        "familyName": "Voronkov", 
        "givenName": "Andrei", 
        "type": "Person"
      }, 
      {
        "familyName": "Virbitskaite", 
        "givenName": "Irina", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-662-46823-4_19", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-662-46822-7", 
        "978-3-662-46823-4"
      ], 
      "name": "Perspectives of System Informatics", 
      "type": "Book"
    }, 
    "keywords": [
      "program", 
      "function", 
      "subset", 
      "combination", 
      "new functions", 
      "memory", 
      "method", 
      "combination of functions", 
      "original program", 
      "step", 
      "way", 
      "supercompilation", 
      "new constructors", 
      "new datatype", 
      "equivalent program", 
      "computation steps", 
      "constructors", 
      "datatypes", 
      "less memory"
    ], 
    "name": "Supercompilation for Datatypes", 
    "pagination": "232-247", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1035412675"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-662-46823-4_19"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-662-46823-4_19", 
      "https://app.dimensions.ai/details/publication/pub.1035412675"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-11-01T18:46", 
    "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_130.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-662-46823-4_19"
  }
]
 

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/978-3-662-46823-4_19'

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/978-3-662-46823-4_19'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-662-46823-4_19'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-662-46823-4_19'


 

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

84 TRIPLES      23 PREDICATES      44 URIs      37 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-662-46823-4_19 schema:about anzsrc-for:11
2 anzsrc-for:1117
3 schema:author Nf68f9697f47d4f46be4785b777802f08
4 schema:datePublished 2015-04-19
5 schema:datePublishedReg 2015-04-19
6 schema:description Supercompilation is a method of transforming programs to obtain equivalent programs that perform fewer computation steps and allocates less memory. A transformed program defines new functions that are combinations of functions from the original program, but the datatypes in the transformed program is a subset of the datatypes defined in the original program. We will change this by extending supercompilation to create new datatypes.We do this by creating new constructors that combine several constructors from the original program in a way reminiscent of how supercompilation combines several functions to create new functions.
7 schema:editor N9fa428f83d234762a84d9123b0043f39
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N832ee0ba79dd44c395ef9a281c8699fa
12 schema:keywords combination
13 combination of functions
14 computation steps
15 constructors
16 datatypes
17 equivalent program
18 function
19 less memory
20 memory
21 method
22 new constructors
23 new datatype
24 new functions
25 original program
26 program
27 step
28 subset
29 supercompilation
30 way
31 schema:name Supercompilation for Datatypes
32 schema:pagination 232-247
33 schema:productId N39c3326ce0604375b77c7270421d640a
34 N53abd0760187437184f40be4fe1b9304
35 schema:publisher N56f9426c784643579a0de36b9b91c38f
36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035412675
37 https://doi.org/10.1007/978-3-662-46823-4_19
38 schema:sdDatePublished 2021-11-01T18:46
39 schema:sdLicense https://scigraph.springernature.com/explorer/license/
40 schema:sdPublisher N4f4d210772ea4b5a9a22c886c9cf8d4d
41 schema:url https://doi.org/10.1007/978-3-662-46823-4_19
42 sgo:license sg:explorer/license/
43 sgo:sdDataset chapters
44 rdf:type schema:Chapter
45 N39c3326ce0604375b77c7270421d640a schema:name dimensions_id
46 schema:value pub.1035412675
47 rdf:type schema:PropertyValue
48 N4f4d210772ea4b5a9a22c886c9cf8d4d schema:name Springer Nature - SN SciGraph project
49 rdf:type schema:Organization
50 N53abd0760187437184f40be4fe1b9304 schema:name doi
51 schema:value 10.1007/978-3-662-46823-4_19
52 rdf:type schema:PropertyValue
53 N56f9426c784643579a0de36b9b91c38f schema:name Springer Nature
54 rdf:type schema:Organisation
55 N5d9312e4e5a341a2b2b2bb6ab3f03c5b schema:familyName Voronkov
56 schema:givenName Andrei
57 rdf:type schema:Person
58 N832ee0ba79dd44c395ef9a281c8699fa schema:isbn 978-3-662-46822-7
59 978-3-662-46823-4
60 schema:name Perspectives of System Informatics
61 rdf:type schema:Book
62 N9fa428f83d234762a84d9123b0043f39 rdf:first N5d9312e4e5a341a2b2b2bb6ab3f03c5b
63 rdf:rest Nd3cf1f96ad38469d90ace135582ea726
64 Nd2848df409e84221985b825a7647d5b1 schema:familyName Virbitskaite
65 schema:givenName Irina
66 rdf:type schema:Person
67 Nd3cf1f96ad38469d90ace135582ea726 rdf:first Nd2848df409e84221985b825a7647d5b1
68 rdf:rest rdf:nil
69 Nf68f9697f47d4f46be4785b777802f08 rdf:first sg:person.016655503425.67
70 rdf:rest rdf:nil
71 anzsrc-for:11 schema:inDefinedTermSet anzsrc-for:
72 schema:name Medical and Health Sciences
73 rdf:type schema:DefinedTerm
74 anzsrc-for:1117 schema:inDefinedTermSet anzsrc-for:
75 schema:name Public Health and Health Services
76 rdf:type schema:DefinedTerm
77 sg:person.016655503425.67 schema:affiliation grid-institutes:grid.5254.6
78 schema:familyName Mogensen
79 schema:givenName Torben Ægidius
80 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016655503425.67
81 rdf:type schema:Person
82 grid-institutes:grid.5254.6 schema:alternateName DIKU, University of Copenhagen, Universitetsparken 5, 2100, Copenhagen O, Denmark
83 schema:name DIKU, University of Copenhagen, Universitetsparken 5, 2100, Copenhagen O, Denmark
84 rdf:type schema:Organization
 




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


...