Abstraction from constructors and functional constructors and their applications View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2001-03

AUTHORS

Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura

ABSTRACT

Structures using constructors are of ordinary use in functional programming to represent data structures of unbound size. Lack of associativity of constructors, however, hinders program analyses or efficient executions. This paper describes ideas of abstraction toward constructors, and similarly abstraction from constructing functions, which we call functional constructors. We demonstrate our ideas making program analyses easier and enable transformation to efficient execution. More... »

PAGES

368-374

Journal

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/bf03160271

DOI

http://dx.doi.org/10.1007/bf03160271

DIMENSIONS

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


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/0905", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Civil Engineering", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/09", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Engineering", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Waseda University", 
          "id": "https://www.grid.ac/institutes/grid.5290.e", 
          "name": [
            "JSPS Research Fellow Graduate School of Science and Engineering, Waseda University, 169-8555, Tokyo, Japan"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kakehi", 
        "givenName": "Kazuhiko", 
        "id": "sg:person.012530056042.57", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012530056042.57"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Waseda University", 
          "id": "https://www.grid.ac/institutes/grid.5290.e", 
          "name": [
            "PRESTO, JST & Institute for Software Production Technology, Waseda University, 169-8555, Tokyo, Japan"
          ], 
          "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": "Waseda University", 
          "id": "https://www.grid.ac/institutes/grid.5290.e", 
          "name": [
            "Institute for Software Production Technology, Waseda University, 169-8555, Tokyo, Japan"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Futamura", 
        "givenName": "Yoshihiko", 
        "id": "sg:person.016641004255.43", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016641004255.43"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1005737360", 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1005737360", 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/234528.234529", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1014217933"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/322169.322183", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1026827486"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf00264249", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029548515", 
          "https://doi.org/10.1007/bf00264249"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf00264249", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029548515", 
          "https://doi.org/10.1007/bf00264249"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/357233.357236", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1034201946"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf00290706", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1035576151", 
          "https://doi.org/10.1007/bf00290706"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0020-0190(86)90059-1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1040849816"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0020-0190(86)90059-1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1040849816"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/268946.268953", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1047649795"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-61512-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1052829590", 
          "https://doi.org/10.1007/978-3-642-61512-2"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-61512-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1052829590", 
          "https://doi.org/10.1007/978-3-642-61512-2"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2001-03", 
    "datePublishedReg": "2001-03-01", 
    "description": "Structures using constructors are of ordinary use in functional programming to represent data structures of unbound size. Lack of associativity of constructors, however, hinders program analyses or efficient executions. This paper describes ideas of abstraction toward constructors, and similarly abstraction from constructing functions, which we call functional constructors. We demonstrate our ideas making program analyses easier and enable transformation to efficient execution.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/bf03160271", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1135877", 
        "issn": [
          "1007-1202", 
          "1993-4998"
        ], 
        "name": "Wuhan University Journal of Natural Sciences", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "1-2", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "6"
      }
    ], 
    "name": "Abstraction from constructors and functional constructors and their applications", 
    "pagination": "368-374", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "5862c0cb84af18175477b49ae057117b2fc74b91fe6660d9a302d61aeac2427b"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bf03160271"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1018550661"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/bf03160271", 
      "https://app.dimensions.ai/details/publication/pub.1018550661"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T14:26", 
    "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/0000000373_0000000373/records_13071_00000000.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1007%2FBF03160271"
  }
]
 

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/bf03160271'

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/bf03160271'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bf03160271'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bf03160271'


 

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

106 TRIPLES      21 PREDICATES      36 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bf03160271 schema:about anzsrc-for:09
2 anzsrc-for:0905
3 schema:author N096776fc609548c3810697cdbea66442
4 schema:citation sg:pub.10.1007/978-3-642-61512-2
5 sg:pub.10.1007/bf00264249
6 sg:pub.10.1007/bf00290706
7 https://app.dimensions.ai/details/publication/pub.1005737360
8 https://doi.org/10.1016/0020-0190(86)90059-1
9 https://doi.org/10.1145/234528.234529
10 https://doi.org/10.1145/268946.268953
11 https://doi.org/10.1145/322169.322183
12 https://doi.org/10.1145/357233.357236
13 schema:datePublished 2001-03
14 schema:datePublishedReg 2001-03-01
15 schema:description Structures using constructors are of ordinary use in functional programming to represent data structures of unbound size. Lack of associativity of constructors, however, hinders program analyses or efficient executions. This paper describes ideas of abstraction toward constructors, and similarly abstraction from constructing functions, which we call functional constructors. We demonstrate our ideas making program analyses easier and enable transformation to efficient execution.
16 schema:genre research_article
17 schema:inLanguage en
18 schema:isAccessibleForFree false
19 schema:isPartOf N195cbe5e3e344457b2150a7dca7f76ec
20 Na9de47c75dac4da7b929b229e8348113
21 sg:journal.1135877
22 schema:name Abstraction from constructors and functional constructors and their applications
23 schema:pagination 368-374
24 schema:productId N38de7a3ca41e4b5f9a3e7ba9d80ef609
25 N76ecc1a73f6e4493bf50fa887b1d3c50
26 N8fbfa677c2b04fca976b8caa5bc1ea46
27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018550661
28 https://doi.org/10.1007/bf03160271
29 schema:sdDatePublished 2019-04-11T14:26
30 schema:sdLicense https://scigraph.springernature.com/explorer/license/
31 schema:sdPublisher Nf40caa30c4ce49139c6f9186bb447963
32 schema:url http://link.springer.com/10.1007%2FBF03160271
33 sgo:license sg:explorer/license/
34 sgo:sdDataset articles
35 rdf:type schema:ScholarlyArticle
36 N096776fc609548c3810697cdbea66442 rdf:first sg:person.012530056042.57
37 rdf:rest Nc58ba2203d3245ec9453e675795aa3e9
38 N195cbe5e3e344457b2150a7dca7f76ec schema:issueNumber 1-2
39 rdf:type schema:PublicationIssue
40 N38de7a3ca41e4b5f9a3e7ba9d80ef609 schema:name readcube_id
41 schema:value 5862c0cb84af18175477b49ae057117b2fc74b91fe6660d9a302d61aeac2427b
42 rdf:type schema:PropertyValue
43 N76ecc1a73f6e4493bf50fa887b1d3c50 schema:name dimensions_id
44 schema:value pub.1018550661
45 rdf:type schema:PropertyValue
46 N8fbfa677c2b04fca976b8caa5bc1ea46 schema:name doi
47 schema:value 10.1007/bf03160271
48 rdf:type schema:PropertyValue
49 Na9de47c75dac4da7b929b229e8348113 schema:volumeNumber 6
50 rdf:type schema:PublicationVolume
51 Nc58ba2203d3245ec9453e675795aa3e9 rdf:first sg:person.010754010217.31
52 rdf:rest Nc856f4f55fa94802bd3709f83c9395ad
53 Nc856f4f55fa94802bd3709f83c9395ad rdf:first sg:person.016641004255.43
54 rdf:rest rdf:nil
55 Nf40caa30c4ce49139c6f9186bb447963 schema:name Springer Nature - SN SciGraph project
56 rdf:type schema:Organization
57 anzsrc-for:09 schema:inDefinedTermSet anzsrc-for:
58 schema:name Engineering
59 rdf:type schema:DefinedTerm
60 anzsrc-for:0905 schema:inDefinedTermSet anzsrc-for:
61 schema:name Civil Engineering
62 rdf:type schema:DefinedTerm
63 sg:journal.1135877 schema:issn 1007-1202
64 1993-4998
65 schema:name Wuhan University Journal of Natural Sciences
66 rdf:type schema:Periodical
67 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5290.e
68 schema:familyName Glück
69 schema:givenName Robert
70 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
71 rdf:type schema:Person
72 sg:person.012530056042.57 schema:affiliation https://www.grid.ac/institutes/grid.5290.e
73 schema:familyName Kakehi
74 schema:givenName Kazuhiko
75 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012530056042.57
76 rdf:type schema:Person
77 sg:person.016641004255.43 schema:affiliation https://www.grid.ac/institutes/grid.5290.e
78 schema:familyName Futamura
79 schema:givenName Yoshihiko
80 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016641004255.43
81 rdf:type schema:Person
82 sg:pub.10.1007/978-3-642-61512-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052829590
83 https://doi.org/10.1007/978-3-642-61512-2
84 rdf:type schema:CreativeWork
85 sg:pub.10.1007/bf00264249 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029548515
86 https://doi.org/10.1007/bf00264249
87 rdf:type schema:CreativeWork
88 sg:pub.10.1007/bf00290706 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035576151
89 https://doi.org/10.1007/bf00290706
90 rdf:type schema:CreativeWork
91 https://app.dimensions.ai/details/publication/pub.1005737360 schema:CreativeWork
92 https://doi.org/10.1016/0020-0190(86)90059-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040849816
93 rdf:type schema:CreativeWork
94 https://doi.org/10.1145/234528.234529 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014217933
95 rdf:type schema:CreativeWork
96 https://doi.org/10.1145/268946.268953 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047649795
97 rdf:type schema:CreativeWork
98 https://doi.org/10.1145/322169.322183 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026827486
99 rdf:type schema:CreativeWork
100 https://doi.org/10.1145/357233.357236 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034201946
101 rdf:type schema:CreativeWork
102 https://www.grid.ac/institutes/grid.5290.e schema:alternateName Waseda University
103 schema:name Institute for Software Production Technology, Waseda University, 169-8555, Tokyo, Japan
104 JSPS Research Fellow Graduate School of Science and Engineering, Waseda University, 169-8555, Tokyo, Japan
105 PRESTO, JST & Institute for Software Production Technology, Waseda University, 169-8555, Tokyo, Japan
106 rdf:type schema:Organization
 




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


...