Towards a Reversible Functional Language View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2012

AUTHORS

Tetsuo Yokoyama , Holger Bock Axelsen , Robert Glück

ABSTRACT

We identify concepts of reversibility for a functional language by means of a set of semantic rules with specific properties. These properties include injectivity along with local backward determinism, an important operational property for an efficient reversible language. We define a concise reversible first-order functional language in which access to the backward semantics is provided to the programmer by inverse function calls. Reversibility guarantees that in this language a backward run (inverse interpretation) is as fast as the corresponding forward run itself. By adopting a symmetric first-match policy for case expressions, we can write overlapping patterns in case branches, as is customary in ordinary functional languages, and also in leaf expressions, unlike existing inverse interpreter methods, which enables concise programs. In patterns, the use of a duplication/equality operator also simplifies inverse computation and program inversion. We discuss the advantages of a reversible functional language using example programs, including run-length encoding. Program inversion is seen to be as lightweight as for imperative reversible languages and realized by recursive descent. Finally, we show that the proposed language is r-Turing complete. More... »

PAGES

14-29

References to SciGraph publications

  • 2010. Towards a Design Flow for Reversible Logic in NONE
  • 2004. An Injective Language for Reversible Computation in MATHEMATICS OF PROGRAM CONSTRUCTION
  • 1981. The Science of Programming in NONE
  • 2011. What Do Reversible Programs Compute? in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
  • 2011. Clean Translation of an Imperative Reversible Programming Language in COMPILER CONSTRUCTION
  • 2002. Principles of Inverse Computation and the Universal Resolving Algorithm in THE ESSENCE OF COMPUTATION
  • 2005-06-10. NREVERSAL of fortune — The thermodynamics of garbage collection in MEMORY MANAGEMENT
  • 2003. A Program Inverter for a Functional Language with Equality and Constructors in PROGRAMMING LANGUAGES AND SYSTEMS
  • Book

    TITLE

    Reversible Computation

    ISBN

    978-3-642-29516-4
    978-3-642-29517-1

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-642-29517-1_2

    DOI

    http://dx.doi.org/10.1007/978-3-642-29517-1_2

    DIMENSIONS

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


    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/2004", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Linguistics", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/20", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Language, Communication and Culture", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Nanzan University", 
              "id": "https://www.grid.ac/institutes/grid.444385.a", 
              "name": [
                "Department of Software Engineering, Nanzan University, Japan"
              ], 
              "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"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Copenhagen", 
              "id": "https://www.grid.ac/institutes/grid.5254.6", 
              "name": [
                "DIKU, Department of Computer Science, University of 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, Department of Computer Science, University of 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"
          }
        ], 
        "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.1515/9781400882618-009", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011817422"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.tcs.2008.01.041", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012017670"
            ], 
            "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.1145/1366230.1366239", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018780610"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-27764-4_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029406180", 
              "https://doi.org/10.1007/978-3-540-27764-4_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-27764-4_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029406180", 
              "https://doi.org/10.1007/978-3-540-27764-4_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0017210", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030791058", 
              "https://doi.org/10.1007/bfb0017210"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0017210", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030791058", 
              "https://doi.org/10.1007/bfb0017210"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4612-5983-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045860299", 
              "https://doi.org/10.1007/978-1-4612-5983-1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4612-5983-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045860299", 
              "https://doi.org/10.1007/978-1-4612-5983-1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-19805-2_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047299195", 
              "https://doi.org/10.1007/978-3-642-19805-2_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-19805-2_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047299195", 
              "https://doi.org/10.1007/978-3-642-19805-2_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://app.dimensions.ai/details/publication/pub.1048361522", 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-90-481-9579-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048361522", 
              "https://doi.org/10.1007/978-90-481-9579-4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-90-481-9579-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048361522", 
              "https://doi.org/10.1007/978-90-481-9579-4"
            ], 
            "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"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-36377-7_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051401164", 
              "https://doi.org/10.1007/3-540-36377-7_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1147/rd.176.0525", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063180324"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2012", 
        "datePublishedReg": "2012-01-01", 
        "description": "We identify concepts of reversibility for a functional language by means of a set of semantic rules with specific properties. These properties include injectivity along with local backward determinism, an important operational property for an efficient reversible language. We define a concise reversible first-order functional language in which access to the backward semantics is provided to the programmer by inverse function calls. Reversibility guarantees that in this language a backward run (inverse interpretation) is as fast as the corresponding forward run itself. By adopting a symmetric first-match policy for case expressions, we can write overlapping patterns in case branches, as is customary in ordinary functional languages, and also in leaf expressions, unlike existing inverse interpreter methods, which enables concise programs. In patterns, the use of a duplication/equality operator also simplifies inverse computation and program inversion. We discuss the advantages of a reversible functional language using example programs, including run-length encoding. Program inversion is seen to be as lightweight as for imperative reversible languages and realized by recursive descent. Finally, we show that the proposed language is r-Turing complete.", 
        "editor": [
          {
            "familyName": "De Vos", 
            "givenName": "Alexis", 
            "type": "Person"
          }, 
          {
            "familyName": "Wille", 
            "givenName": "Robert", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-642-29517-1_2", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-642-29516-4", 
            "978-3-642-29517-1"
          ], 
          "name": "Reversible Computation", 
          "type": "Book"
        }, 
        "name": "Towards a Reversible Functional Language", 
        "pagination": "14-29", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-642-29517-1_2"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "8ce136327450d86cf5b5953c75a3b2e9fda476ec02286ab8c3e861c658d16407"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1029572889"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-642-29517-1_2", 
          "https://app.dimensions.ai/details/publication/pub.1029572889"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T20:06", 
        "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_8687_00000261.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-642-29517-1_2"
      }
    ]
     

    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-642-29517-1_2'

    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-642-29517-1_2'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-29517-1_2'

    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-642-29517-1_2'


     

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

    136 TRIPLES      23 PREDICATES      41 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-642-29517-1_2 schema:about anzsrc-for:20
    2 anzsrc-for:2004
    3 schema:author Nb5ac9aa5c39b4ffe8a294b97866a381a
    4 schema:citation sg:pub.10.1007/3-540-36377-7_13
    5 sg:pub.10.1007/978-1-4612-5983-1
    6 sg:pub.10.1007/978-3-540-27764-4_16
    7 sg:pub.10.1007/978-3-540-40018-9_17
    8 sg:pub.10.1007/978-3-642-19805-2_4
    9 sg:pub.10.1007/978-3-642-19861-8_9
    10 sg:pub.10.1007/978-90-481-9579-4
    11 sg:pub.10.1007/bfb0017210
    12 https://app.dimensions.ai/details/publication/pub.1048361522
    13 https://doi.org/10.1016/j.tcs.2008.01.041
    14 https://doi.org/10.1145/1244381.1244404
    15 https://doi.org/10.1145/1366230.1366239
    16 https://doi.org/10.1147/rd.176.0525
    17 https://doi.org/10.1515/9781400882618-009
    18 schema:datePublished 2012
    19 schema:datePublishedReg 2012-01-01
    20 schema:description We identify concepts of reversibility for a functional language by means of a set of semantic rules with specific properties. These properties include injectivity along with local backward determinism, an important operational property for an efficient reversible language. We define a concise reversible first-order functional language in which access to the backward semantics is provided to the programmer by inverse function calls. Reversibility guarantees that in this language a backward run (inverse interpretation) is as fast as the corresponding forward run itself. By adopting a symmetric first-match policy for case expressions, we can write overlapping patterns in case branches, as is customary in ordinary functional languages, and also in leaf expressions, unlike existing inverse interpreter methods, which enables concise programs. In patterns, the use of a duplication/equality operator also simplifies inverse computation and program inversion. We discuss the advantages of a reversible functional language using example programs, including run-length encoding. Program inversion is seen to be as lightweight as for imperative reversible languages and realized by recursive descent. Finally, we show that the proposed language is r-Turing complete.
    21 schema:editor Na0088f9d0b7c44d9b06242375372dfbc
    22 schema:genre chapter
    23 schema:inLanguage en
    24 schema:isAccessibleForFree false
    25 schema:isPartOf N309084523f594398b390a47a143a1ac6
    26 schema:name Towards a Reversible Functional Language
    27 schema:pagination 14-29
    28 schema:productId N1b4cb4e40da94e80bdd719b3445450d0
    29 N738474a3787d4413aeb380cc2ceceda9
    30 Nb35b5a49ea6e4e65b82b2cce9f7bc177
    31 schema:publisher N8130b4e8551f421faf3a14063cccebd6
    32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029572889
    33 https://doi.org/10.1007/978-3-642-29517-1_2
    34 schema:sdDatePublished 2019-04-15T20:06
    35 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    36 schema:sdPublisher Nb0882435eb694e918499d3d6ff2455dc
    37 schema:url http://link.springer.com/10.1007/978-3-642-29517-1_2
    38 sgo:license sg:explorer/license/
    39 sgo:sdDataset chapters
    40 rdf:type schema:Chapter
    41 N14511b2f90c540e6a0b8a06cd6ce4bc3 rdf:first sg:person.010754010217.31
    42 rdf:rest rdf:nil
    43 N1b4cb4e40da94e80bdd719b3445450d0 schema:name dimensions_id
    44 schema:value pub.1029572889
    45 rdf:type schema:PropertyValue
    46 N309084523f594398b390a47a143a1ac6 schema:isbn 978-3-642-29516-4
    47 978-3-642-29517-1
    48 schema:name Reversible Computation
    49 rdf:type schema:Book
    50 N3fbe03f62dd542bcb38df16be290a9ab rdf:first N6b5ed56be83a47878ded378bb65c61eb
    51 rdf:rest rdf:nil
    52 N6b5ed56be83a47878ded378bb65c61eb schema:familyName Wille
    53 schema:givenName Robert
    54 rdf:type schema:Person
    55 N738474a3787d4413aeb380cc2ceceda9 schema:name doi
    56 schema:value 10.1007/978-3-642-29517-1_2
    57 rdf:type schema:PropertyValue
    58 N8130b4e8551f421faf3a14063cccebd6 schema:location Berlin, Heidelberg
    59 schema:name Springer Berlin Heidelberg
    60 rdf:type schema:Organisation
    61 N8fbbce01e2ea485483e3fb4286dbf47c rdf:first sg:person.015546427711.73
    62 rdf:rest N14511b2f90c540e6a0b8a06cd6ce4bc3
    63 Na0088f9d0b7c44d9b06242375372dfbc rdf:first Ne5cce89fcb974b6ebd5b8e767ac891e0
    64 rdf:rest N3fbe03f62dd542bcb38df16be290a9ab
    65 Nb0882435eb694e918499d3d6ff2455dc schema:name Springer Nature - SN SciGraph project
    66 rdf:type schema:Organization
    67 Nb35b5a49ea6e4e65b82b2cce9f7bc177 schema:name readcube_id
    68 schema:value 8ce136327450d86cf5b5953c75a3b2e9fda476ec02286ab8c3e861c658d16407
    69 rdf:type schema:PropertyValue
    70 Nb5ac9aa5c39b4ffe8a294b97866a381a rdf:first sg:person.015342016423.59
    71 rdf:rest N8fbbce01e2ea485483e3fb4286dbf47c
    72 Ne5cce89fcb974b6ebd5b8e767ac891e0 schema:familyName De Vos
    73 schema:givenName Alexis
    74 rdf:type schema:Person
    75 anzsrc-for:20 schema:inDefinedTermSet anzsrc-for:
    76 schema:name Language, Communication and Culture
    77 rdf:type schema:DefinedTerm
    78 anzsrc-for:2004 schema:inDefinedTermSet anzsrc-for:
    79 schema:name Linguistics
    80 rdf:type schema:DefinedTerm
    81 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
    82 schema:familyName Glück
    83 schema:givenName Robert
    84 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
    85 rdf:type schema:Person
    86 sg:person.015342016423.59 schema:affiliation https://www.grid.ac/institutes/grid.444385.a
    87 schema:familyName Yokoyama
    88 schema:givenName Tetsuo
    89 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015342016423.59
    90 rdf:type schema:Person
    91 sg:person.015546427711.73 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
    92 schema:familyName Axelsen
    93 schema:givenName Holger Bock
    94 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015546427711.73
    95 rdf:type schema:Person
    96 sg:pub.10.1007/3-540-36377-7_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051401164
    97 https://doi.org/10.1007/3-540-36377-7_13
    98 rdf:type schema:CreativeWork
    99 sg:pub.10.1007/978-1-4612-5983-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045860299
    100 https://doi.org/10.1007/978-1-4612-5983-1
    101 rdf:type schema:CreativeWork
    102 sg:pub.10.1007/978-3-540-27764-4_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029406180
    103 https://doi.org/10.1007/978-3-540-27764-4_16
    104 rdf:type schema:CreativeWork
    105 sg:pub.10.1007/978-3-540-40018-9_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012065324
    106 https://doi.org/10.1007/978-3-540-40018-9_17
    107 rdf:type schema:CreativeWork
    108 sg:pub.10.1007/978-3-642-19805-2_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047299195
    109 https://doi.org/10.1007/978-3-642-19805-2_4
    110 rdf:type schema:CreativeWork
    111 sg:pub.10.1007/978-3-642-19861-8_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048833860
    112 https://doi.org/10.1007/978-3-642-19861-8_9
    113 rdf:type schema:CreativeWork
    114 sg:pub.10.1007/978-90-481-9579-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048361522
    115 https://doi.org/10.1007/978-90-481-9579-4
    116 rdf:type schema:CreativeWork
    117 sg:pub.10.1007/bfb0017210 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030791058
    118 https://doi.org/10.1007/bfb0017210
    119 rdf:type schema:CreativeWork
    120 https://app.dimensions.ai/details/publication/pub.1048361522 schema:CreativeWork
    121 https://doi.org/10.1016/j.tcs.2008.01.041 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012017670
    122 rdf:type schema:CreativeWork
    123 https://doi.org/10.1145/1244381.1244404 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006492707
    124 rdf:type schema:CreativeWork
    125 https://doi.org/10.1145/1366230.1366239 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018780610
    126 rdf:type schema:CreativeWork
    127 https://doi.org/10.1147/rd.176.0525 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063180324
    128 rdf:type schema:CreativeWork
    129 https://doi.org/10.1515/9781400882618-009 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011817422
    130 rdf:type schema:CreativeWork
    131 https://www.grid.ac/institutes/grid.444385.a schema:alternateName Nanzan University
    132 schema:name Department of Software Engineering, Nanzan University, Japan
    133 rdf:type schema:Organization
    134 https://www.grid.ac/institutes/grid.5254.6 schema:alternateName University of Copenhagen
    135 schema:name DIKU, Department of Computer Science, University of Copenhagen, Denmark
    136 rdf:type schema:Organization
     




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


    ...