Implementing Reversible Object-Oriented Language Features on Reversible Machines View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2017

AUTHORS

Tue Haulund , Torben Ægidius Mogensen , Robert Glück

ABSTRACT

We extend the reversible language Janus with support for class-based object-oriented programming, class inheritance and subtype-polymorphism. We describe how to implement these features on reversible hardware - with emphasis on the implementation of reversible dynamic dispatch using virtual method tables. Our translation is effective (i.e. garbage-free) and we demonstrate its practicality by implementation of a fully-featured compiler targeting the reversible assembly language PISA. More... »

PAGES

66-73

References to SciGraph publications

Book

TITLE

Reversible Computation

ISBN

978-3-319-59935-9
978-3-319-59936-6

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-59936-6_5

DOI

http://dx.doi.org/10.1007/978-3-319-59936-6_5

DIMENSIONS

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


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/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "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": [
            "University of Copenhagen"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Haulund", 
        "givenName": "Tue", 
        "id": "sg:person.011664310520.75", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011664310520.75"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Copenhagen", 
          "id": "https://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "University of Copenhagen"
          ], 
          "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"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Copenhagen", 
          "id": "https://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "University of Copenhagen"
          ], 
          "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"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/978-3-319-20860-2_5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1004134457", 
          "https://doi.org/10.1007/978-3-319-20860-2_5"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/1244381.1244404", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1006492707"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-74510-5_9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1015349256", 
          "https://doi.org/10.1007/978-3-540-74510-5_9"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-74510-5_9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1015349256", 
          "https://doi.org/10.1007/978-3-540-74510-5_9"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/1366230.1366239", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018780610"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-319-40578-0_10", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1028587049", 
          "https://doi.org/10.1007/978-3-319-40578-0_10"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-38986-3_9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1036592869", 
          "https://doi.org/10.1007/978-3-642-38986-3_9"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-319-08494-7_7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1048471805", 
          "https://doi.org/10.1007/978-3-319-08494-7_7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-19861-8_9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1048833860", 
          "https://doi.org/10.1007/978-3-642-19861-8_9"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2017", 
    "datePublishedReg": "2017-01-01", 
    "description": "We extend the reversible language Janus with support for class-based object-oriented programming, class inheritance and subtype-polymorphism. We describe how to implement these features on reversible hardware - with emphasis on the implementation of reversible dynamic dispatch using virtual method tables. Our translation is effective (i.e. garbage-free) and we demonstrate its practicality by implementation of a fully-featured compiler targeting the reversible assembly language PISA.", 
    "editor": [
      {
        "familyName": "Phillips", 
        "givenName": "Iain", 
        "type": "Person"
      }, 
      {
        "familyName": "Rahaman", 
        "givenName": "Hafizur", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-59936-6_5", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-59935-9", 
        "978-3-319-59936-6"
      ], 
      "name": "Reversible Computation", 
      "type": "Book"
    }, 
    "name": "Implementing Reversible Object-Oriented Language Features on Reversible Machines", 
    "pagination": "66-73", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-59936-6_5"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "d00bf8f89c9639d2098a0c44a6487c3d1c2270acd8a24fbc393c7fff4aad4cd2"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1086393504"
        ]
      }
    ], 
    "publisher": {
      "location": "Cham", 
      "name": "Springer International Publishing", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-59936-6_5", 
      "https://app.dimensions.ai/details/publication/pub.1086393504"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T22:37", 
    "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_8693_00000600.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-3-319-59936-6_5"
  }
]
 

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-319-59936-6_5'

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-319-59936-6_5'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-59936-6_5'

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-319-59936-6_5'


 

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

114 TRIPLES      23 PREDICATES      35 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-59936-6_5 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N1ae426b257fc40719e4105d65820790d
4 schema:citation sg:pub.10.1007/978-3-319-08494-7_7
5 sg:pub.10.1007/978-3-319-20860-2_5
6 sg:pub.10.1007/978-3-319-40578-0_10
7 sg:pub.10.1007/978-3-540-74510-5_9
8 sg:pub.10.1007/978-3-642-19861-8_9
9 sg:pub.10.1007/978-3-642-38986-3_9
10 https://doi.org/10.1145/1244381.1244404
11 https://doi.org/10.1145/1366230.1366239
12 schema:datePublished 2017
13 schema:datePublishedReg 2017-01-01
14 schema:description We extend the reversible language Janus with support for class-based object-oriented programming, class inheritance and subtype-polymorphism. We describe how to implement these features on reversible hardware - with emphasis on the implementation of reversible dynamic dispatch using virtual method tables. Our translation is effective (i.e. garbage-free) and we demonstrate its practicality by implementation of a fully-featured compiler targeting the reversible assembly language PISA.
15 schema:editor N3ad18928a2b34f5490c9860f11c3d43e
16 schema:genre chapter
17 schema:inLanguage en
18 schema:isAccessibleForFree false
19 schema:isPartOf Nd644f2598cb84b5180b97bc33d004dc6
20 schema:name Implementing Reversible Object-Oriented Language Features on Reversible Machines
21 schema:pagination 66-73
22 schema:productId N54672ed93cfb44afb4ebc7c857656628
23 N8eec09f64fbf4b14b35950709b809075
24 Naa26cb4cc1694ae78043cc1795a65c53
25 schema:publisher N4f2ae8354b344298b178be04ae83692d
26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086393504
27 https://doi.org/10.1007/978-3-319-59936-6_5
28 schema:sdDatePublished 2019-04-15T22:37
29 schema:sdLicense https://scigraph.springernature.com/explorer/license/
30 schema:sdPublisher N7bca9e4fc9ef40a1a3ba6bb297413f53
31 schema:url http://link.springer.com/10.1007/978-3-319-59936-6_5
32 sgo:license sg:explorer/license/
33 sgo:sdDataset chapters
34 rdf:type schema:Chapter
35 N0bd19d3044e14e4ea303447643dc6a65 schema:familyName Phillips
36 schema:givenName Iain
37 rdf:type schema:Person
38 N104ee0e3b1aa4022b802eafcdfa18a1a schema:familyName Rahaman
39 schema:givenName Hafizur
40 rdf:type schema:Person
41 N1ae426b257fc40719e4105d65820790d rdf:first sg:person.011664310520.75
42 rdf:rest N66931ca8580b4591a1a8e595d9a82bd3
43 N3ad18928a2b34f5490c9860f11c3d43e rdf:first N0bd19d3044e14e4ea303447643dc6a65
44 rdf:rest Nbb86f6b4964e4ab4af5a0a8d9c6d6c1e
45 N4f2ae8354b344298b178be04ae83692d schema:location Cham
46 schema:name Springer International Publishing
47 rdf:type schema:Organisation
48 N54672ed93cfb44afb4ebc7c857656628 schema:name dimensions_id
49 schema:value pub.1086393504
50 rdf:type schema:PropertyValue
51 N66931ca8580b4591a1a8e595d9a82bd3 rdf:first sg:person.016655503425.67
52 rdf:rest Nd58757effd9a4b3ab6a3d4e94f7f805c
53 N7bca9e4fc9ef40a1a3ba6bb297413f53 schema:name Springer Nature - SN SciGraph project
54 rdf:type schema:Organization
55 N8eec09f64fbf4b14b35950709b809075 schema:name readcube_id
56 schema:value d00bf8f89c9639d2098a0c44a6487c3d1c2270acd8a24fbc393c7fff4aad4cd2
57 rdf:type schema:PropertyValue
58 Naa26cb4cc1694ae78043cc1795a65c53 schema:name doi
59 schema:value 10.1007/978-3-319-59936-6_5
60 rdf:type schema:PropertyValue
61 Nbb86f6b4964e4ab4af5a0a8d9c6d6c1e rdf:first N104ee0e3b1aa4022b802eafcdfa18a1a
62 rdf:rest rdf:nil
63 Nd58757effd9a4b3ab6a3d4e94f7f805c rdf:first sg:person.010754010217.31
64 rdf:rest rdf:nil
65 Nd644f2598cb84b5180b97bc33d004dc6 schema:isbn 978-3-319-59935-9
66 978-3-319-59936-6
67 schema:name Reversible Computation
68 rdf:type schema:Book
69 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
70 schema:name Information and Computing Sciences
71 rdf:type schema:DefinedTerm
72 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
73 schema:name Artificial Intelligence and Image Processing
74 rdf:type schema:DefinedTerm
75 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
76 schema:familyName Glück
77 schema:givenName Robert
78 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
79 rdf:type schema:Person
80 sg:person.011664310520.75 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
81 schema:familyName Haulund
82 schema:givenName Tue
83 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011664310520.75
84 rdf:type schema:Person
85 sg:person.016655503425.67 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
86 schema:familyName Mogensen
87 schema:givenName Torben Ægidius
88 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016655503425.67
89 rdf:type schema:Person
90 sg:pub.10.1007/978-3-319-08494-7_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048471805
91 https://doi.org/10.1007/978-3-319-08494-7_7
92 rdf:type schema:CreativeWork
93 sg:pub.10.1007/978-3-319-20860-2_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004134457
94 https://doi.org/10.1007/978-3-319-20860-2_5
95 rdf:type schema:CreativeWork
96 sg:pub.10.1007/978-3-319-40578-0_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028587049
97 https://doi.org/10.1007/978-3-319-40578-0_10
98 rdf:type schema:CreativeWork
99 sg:pub.10.1007/978-3-540-74510-5_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015349256
100 https://doi.org/10.1007/978-3-540-74510-5_9
101 rdf:type schema:CreativeWork
102 sg:pub.10.1007/978-3-642-19861-8_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048833860
103 https://doi.org/10.1007/978-3-642-19861-8_9
104 rdf:type schema:CreativeWork
105 sg:pub.10.1007/978-3-642-38986-3_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036592869
106 https://doi.org/10.1007/978-3-642-38986-3_9
107 rdf:type schema:CreativeWork
108 https://doi.org/10.1145/1244381.1244404 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006492707
109 rdf:type schema:CreativeWork
110 https://doi.org/10.1145/1366230.1366239 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018780610
111 rdf:type schema:CreativeWork
112 https://www.grid.ac/institutes/grid.5254.6 schema:alternateName University of Copenhagen
113 schema:name University of Copenhagen
114 rdf:type schema:Organization
 




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


...