Reversible Machine Code and Its Abstract Processor Architecture View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2007

AUTHORS

Holger Bock Axelsen , Robert Glück , Tetsuo Yokoyama

ABSTRACT

A reversible abstract machine architecture and its reversible machine code are presented and formalized. For machine code to be reversible, both the underlying control logic and each instruction must be reversible. A general class of machine instruction sets was proven to be reversible, building on our concept of reversible updates. The presentation is abstract and can serve as a guideline for a family of reversible processor designs. By example, we illustrate programming principles for the abstract machine architecture formalized in this paper. More... »

PAGES

56-69

References to SciGraph publications

  • 2003. A Program Inverter for a Functional Language with Equality and Constructors in PROGRAMMING LANGUAGES AND SYSTEMS
  • 1982-04. Conservative logic in INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS
  • 2005. Semi-inversion of Guarded Equations in GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING
  • Book

    TITLE

    Computer Science – Theory and Applications

    ISBN

    978-3-540-74509-9
    978-3-540-74510-5

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-540-74510-5_9

    DOI

    http://dx.doi.org/10.1007/978-3-540-74510-5_9

    DIMENSIONS

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


    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/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "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": [
                "DIKU, Dept. of Computer Science, University of Copenhagen, DK-2100 Copenhagen, Denmark"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Axelsen", 
            "givenName": "Holger Bock", 
            "id": "sg:person.015546427711.73", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015546427711.73"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Copenhagen", 
              "id": "https://www.grid.ac/institutes/grid.5254.6", 
              "name": [
                "DIKU, Dept. of Computer Science, University of Copenhagen, DK-2100 Copenhagen, Denmark"
              ], 
              "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": "University of Copenhagen", 
              "id": "https://www.grid.ac/institutes/grid.5254.6", 
              "name": [
                "DIKU, Dept. of Computer Science, University of Copenhagen, DK-2100 Copenhagen, Denmark"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Yokoyama", 
            "givenName": "Tetsuo", 
            "id": "sg:person.015342016423.59", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015342016423.59"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1145/1244381.1244404", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006492707"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0167-9260(02)00051-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011651474"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-40018-9_17", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012065324", 
              "https://doi.org/10.1007/978-3-540-40018-9_17"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-40018-9_17", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012065324", 
              "https://doi.org/10.1007/978-3-540-40018-9_17"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0167-6423(02)00023-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015470010"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/365559.365593", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027152036"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01857727", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032661873", 
              "https://doi.org/10.1007/bf01857727"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01857727", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032661873", 
              "https://doi.org/10.1007/bf01857727"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11561347_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045908161", 
              "https://doi.org/10.1007/11561347_14"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11561347_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045908161", 
              "https://doi.org/10.1007/11561347_14"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1088/0305-4470/39/18/017", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1059079619"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1147/rd.176.0525", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063180324"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1147/rd.53.0183", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063183065"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/secon.1991.147887", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086349214"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/phycmp.1994.363690", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094849770"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2007", 
        "datePublishedReg": "2007-01-01", 
        "description": "A reversible abstract machine architecture and its reversible machine code are presented and formalized. For machine code to be reversible, both the underlying control logic and each instruction must be reversible. A general class of machine instruction sets was proven to be reversible, building on our concept of reversible updates. The presentation is abstract and can serve as a guideline for a family of reversible processor designs. By example, we illustrate programming principles for the abstract machine architecture formalized in this paper.", 
        "editor": [
          {
            "familyName": "Diekert", 
            "givenName": "Volker", 
            "type": "Person"
          }, 
          {
            "familyName": "Volkov", 
            "givenName": "Mikhail V.", 
            "type": "Person"
          }, 
          {
            "familyName": "Voronkov", 
            "givenName": "Andrei", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-540-74510-5_9", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-540-74509-9", 
            "978-3-540-74510-5"
          ], 
          "name": "Computer Science \u2013 Theory and Applications", 
          "type": "Book"
        }, 
        "name": "Reversible Machine Code and Its Abstract Processor Architecture", 
        "pagination": "56-69", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-540-74510-5_9"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "492223fbc217b80ea76173967040f71a8fcbf31640ccc5622615946d262e0ae8"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1015349256"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-540-74510-5_9", 
          "https://app.dimensions.ai/details/publication/pub.1015349256"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T05:25", 
        "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/0000000345_0000000345/records_64097_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F978-3-540-74510-5_9"
      }
    ]
     

    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-540-74510-5_9'

    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-540-74510-5_9'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-74510-5_9'

    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-540-74510-5_9'


     

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

    128 TRIPLES      23 PREDICATES      39 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-540-74510-5_9 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author N6e9e4ac464344b1ab01e2697dbf35b65
    4 schema:citation sg:pub.10.1007/11561347_14
    5 sg:pub.10.1007/978-3-540-40018-9_17
    6 sg:pub.10.1007/bf01857727
    7 https://doi.org/10.1016/s0167-6423(02)00023-0
    8 https://doi.org/10.1016/s0167-9260(02)00051-2
    9 https://doi.org/10.1088/0305-4470/39/18/017
    10 https://doi.org/10.1109/phycmp.1994.363690
    11 https://doi.org/10.1109/secon.1991.147887
    12 https://doi.org/10.1145/1244381.1244404
    13 https://doi.org/10.1145/365559.365593
    14 https://doi.org/10.1147/rd.176.0525
    15 https://doi.org/10.1147/rd.53.0183
    16 schema:datePublished 2007
    17 schema:datePublishedReg 2007-01-01
    18 schema:description A reversible abstract machine architecture and its reversible machine code are presented and formalized. For machine code to be reversible, both the underlying control logic and each instruction must be reversible. A general class of machine instruction sets was proven to be reversible, building on our concept of reversible updates. The presentation is abstract and can serve as a guideline for a family of reversible processor designs. By example, we illustrate programming principles for the abstract machine architecture formalized in this paper.
    19 schema:editor Nc0abfbcc86b4434aac1e97331c9188f4
    20 schema:genre chapter
    21 schema:inLanguage en
    22 schema:isAccessibleForFree false
    23 schema:isPartOf N70fd00edb1334a188b31f60065f607ca
    24 schema:name Reversible Machine Code and Its Abstract Processor Architecture
    25 schema:pagination 56-69
    26 schema:productId N489a8a7e9b6d465db9e653caa53a040f
    27 N51ed8d90405c4ecda685aa0cb681a22d
    28 Na6a84ee20b364c128c9646311d1ccc6b
    29 schema:publisher N4fec8fbd2f614dbbba4432fc9cc18726
    30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015349256
    31 https://doi.org/10.1007/978-3-540-74510-5_9
    32 schema:sdDatePublished 2019-04-16T05:25
    33 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    34 schema:sdPublisher N33c33d51738d4fd584ec64c6419eb762
    35 schema:url https://link.springer.com/10.1007%2F978-3-540-74510-5_9
    36 sgo:license sg:explorer/license/
    37 sgo:sdDataset chapters
    38 rdf:type schema:Chapter
    39 N33c33d51738d4fd584ec64c6419eb762 schema:name Springer Nature - SN SciGraph project
    40 rdf:type schema:Organization
    41 N489a8a7e9b6d465db9e653caa53a040f schema:name readcube_id
    42 schema:value 492223fbc217b80ea76173967040f71a8fcbf31640ccc5622615946d262e0ae8
    43 rdf:type schema:PropertyValue
    44 N4fec8fbd2f614dbbba4432fc9cc18726 schema:location Berlin, Heidelberg
    45 schema:name Springer Berlin Heidelberg
    46 rdf:type schema:Organisation
    47 N51ed8d90405c4ecda685aa0cb681a22d schema:name dimensions_id
    48 schema:value pub.1015349256
    49 rdf:type schema:PropertyValue
    50 N6e9e4ac464344b1ab01e2697dbf35b65 rdf:first sg:person.015546427711.73
    51 rdf:rest N8661b68034754f83a586a5d350984b37
    52 N70fd00edb1334a188b31f60065f607ca schema:isbn 978-3-540-74509-9
    53 978-3-540-74510-5
    54 schema:name Computer Science – Theory and Applications
    55 rdf:type schema:Book
    56 N7e3a529f133f4a6da41ca37a3b4ccabf schema:familyName Voronkov
    57 schema:givenName Andrei
    58 rdf:type schema:Person
    59 N8661b68034754f83a586a5d350984b37 rdf:first sg:person.010754010217.31
    60 rdf:rest Na40079ce438a467586846421d4535ade
    61 Na40079ce438a467586846421d4535ade rdf:first sg:person.015342016423.59
    62 rdf:rest rdf:nil
    63 Na6a84ee20b364c128c9646311d1ccc6b schema:name doi
    64 schema:value 10.1007/978-3-540-74510-5_9
    65 rdf:type schema:PropertyValue
    66 Nc0abfbcc86b4434aac1e97331c9188f4 rdf:first Nd43d2e6f057f4b30bfd9d3a38c9cb940
    67 rdf:rest Nc516b60d1b774d4c9f53c1a7e2d56f15
    68 Nc516b60d1b774d4c9f53c1a7e2d56f15 rdf:first Nffebdf6214cb4a7283586accc308dcc2
    69 rdf:rest Nd6035efd27844516b899b8189deb4224
    70 Nd43d2e6f057f4b30bfd9d3a38c9cb940 schema:familyName Diekert
    71 schema:givenName Volker
    72 rdf:type schema:Person
    73 Nd6035efd27844516b899b8189deb4224 rdf:first N7e3a529f133f4a6da41ca37a3b4ccabf
    74 rdf:rest rdf:nil
    75 Nffebdf6214cb4a7283586accc308dcc2 schema:familyName Volkov
    76 schema:givenName Mikhail V.
    77 rdf:type schema:Person
    78 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    79 schema:name Information and Computing Sciences
    80 rdf:type schema:DefinedTerm
    81 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    82 schema:name Computer Software
    83 rdf:type schema:DefinedTerm
    84 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
    85 schema:familyName Glück
    86 schema:givenName Robert
    87 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
    88 rdf:type schema:Person
    89 sg:person.015342016423.59 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
    90 schema:familyName Yokoyama
    91 schema:givenName Tetsuo
    92 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015342016423.59
    93 rdf:type schema:Person
    94 sg:person.015546427711.73 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
    95 schema:familyName Axelsen
    96 schema:givenName Holger Bock
    97 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015546427711.73
    98 rdf:type schema:Person
    99 sg:pub.10.1007/11561347_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045908161
    100 https://doi.org/10.1007/11561347_14
    101 rdf:type schema:CreativeWork
    102 sg:pub.10.1007/978-3-540-40018-9_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012065324
    103 https://doi.org/10.1007/978-3-540-40018-9_17
    104 rdf:type schema:CreativeWork
    105 sg:pub.10.1007/bf01857727 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032661873
    106 https://doi.org/10.1007/bf01857727
    107 rdf:type schema:CreativeWork
    108 https://doi.org/10.1016/s0167-6423(02)00023-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015470010
    109 rdf:type schema:CreativeWork
    110 https://doi.org/10.1016/s0167-9260(02)00051-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011651474
    111 rdf:type schema:CreativeWork
    112 https://doi.org/10.1088/0305-4470/39/18/017 schema:sameAs https://app.dimensions.ai/details/publication/pub.1059079619
    113 rdf:type schema:CreativeWork
    114 https://doi.org/10.1109/phycmp.1994.363690 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094849770
    115 rdf:type schema:CreativeWork
    116 https://doi.org/10.1109/secon.1991.147887 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086349214
    117 rdf:type schema:CreativeWork
    118 https://doi.org/10.1145/1244381.1244404 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006492707
    119 rdf:type schema:CreativeWork
    120 https://doi.org/10.1145/365559.365593 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027152036
    121 rdf:type schema:CreativeWork
    122 https://doi.org/10.1147/rd.176.0525 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063180324
    123 rdf:type schema:CreativeWork
    124 https://doi.org/10.1147/rd.53.0183 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063183065
    125 rdf:type schema:CreativeWork
    126 https://www.grid.ac/institutes/grid.5254.6 schema:alternateName University of Copenhagen
    127 schema:name DIKU, Dept. of Computer Science, University of Copenhagen, DK-2100 Copenhagen, Denmark
    128 rdf:type schema:Organization
     




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


    ...