Partial Evaluation of Janus Part 2: Assertions and Procedures View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2012

AUTHORS

Torben Ægidius Mogensen

ABSTRACT

We continue earlier work on partial evaluation of the reversible language Janus. In this paper, we improve the handling of assertions and extend the partial evaluation method to handle procedure calls, which were omitted in the previous work. The partial evaluator now handles the full Janus language.

PAGES

289-301

References to SciGraph publications

  • 2008. Reversible Flowchart Languages and the Structured Reversible Program Theorem in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 1980. Reversible computing in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 1999. Logic Program Specialisation in PARTIAL EVALUATION
  • 2001-07-04. Time and Space Bounds for Reversible Simulation in AUTOMATA, LANGUAGES AND PROGRAMMING
  • Book

    TITLE

    Perspectives of Systems Informatics

    ISBN

    978-3-642-29708-3
    978-3-642-29709-0

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-642-29709-0_25

    DOI

    http://dx.doi.org/10.1007/978-3-642-29709-0_25

    DIMENSIONS

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


    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": "University of Copenhagen", 
              "id": "https://www.grid.ac/institutes/grid.5254.6", 
              "name": [
                "DIKU, University of Copenhagen, Universitetsparken 1, DK-2100\u00a0Copenhagen 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"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1145/1244381.1244404", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006492707"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-10003-2_104", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006731052", 
              "https://doi.org/10.1007/3-540-10003-2_104"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48224-5_82", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016579794", 
              "https://doi.org/10.1007/3-540-48224-5_82"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48224-5_82", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016579794", 
              "https://doi.org/10.1007/3-540-48224-5_82"
            ], 
            "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-70583-3_22", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022695518", 
              "https://doi.org/10.1007/978-3-540-70583-3_22"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.tcs.2005.07.002", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043013026"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.tcs.2005.07.002", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043013026"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-47018-2_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049510361", 
              "https://doi.org/10.1007/3-540-47018-2_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/0218053", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062842152"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1147/rd.53.0183", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063183065"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2012", 
        "datePublishedReg": "2012-01-01", 
        "description": "We continue earlier work on partial evaluation of the reversible language Janus. In this paper, we improve the handling of assertions and extend the partial evaluation method to handle procedure calls, which were omitted in the previous work. The partial evaluator now handles the full Janus language.", 
        "editor": [
          {
            "familyName": "Clarke", 
            "givenName": "Edmund", 
            "type": "Person"
          }, 
          {
            "familyName": "Virbitskaite", 
            "givenName": "Irina", 
            "type": "Person"
          }, 
          {
            "familyName": "Voronkov", 
            "givenName": "Andrei", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-642-29709-0_25", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-642-29708-3", 
            "978-3-642-29709-0"
          ], 
          "name": "Perspectives of Systems Informatics", 
          "type": "Book"
        }, 
        "name": "Partial Evaluation of Janus Part 2: Assertions and Procedures", 
        "pagination": "289-301", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-642-29709-0_25"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "34fd9d90c52465bf8b0e11cf582e884c736adfb144043a4ce61ef839eefc4d3e"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1011121976"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-642-29709-0_25", 
          "https://app.dimensions.ai/details/publication/pub.1011121976"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T13: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/0000000001_0000000264/records_8664_00000250.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-642-29709-0_25"
      }
    ]
     

    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-29709-0_25'

    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-29709-0_25'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-29709-0_25'

    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-29709-0_25'


     

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

    106 TRIPLES      23 PREDICATES      36 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-642-29709-0_25 schema:about anzsrc-for:20
    2 anzsrc-for:2004
    3 schema:author Nb8be1766b7604c6d801ec129a3a84643
    4 schema:citation sg:pub.10.1007/3-540-10003-2_104
    5 sg:pub.10.1007/3-540-47018-2_5
    6 sg:pub.10.1007/3-540-48224-5_82
    7 sg:pub.10.1007/978-3-540-70583-3_22
    8 https://doi.org/10.1016/j.tcs.2005.07.002
    9 https://doi.org/10.1137/0218053
    10 https://doi.org/10.1145/1244381.1244404
    11 https://doi.org/10.1145/1366230.1366239
    12 https://doi.org/10.1147/rd.53.0183
    13 schema:datePublished 2012
    14 schema:datePublishedReg 2012-01-01
    15 schema:description We continue earlier work on partial evaluation of the reversible language Janus. In this paper, we improve the handling of assertions and extend the partial evaluation method to handle procedure calls, which were omitted in the previous work. The partial evaluator now handles the full Janus language.
    16 schema:editor N1db8e945b7f64b3983e53878eb12d453
    17 schema:genre chapter
    18 schema:inLanguage en
    19 schema:isAccessibleForFree false
    20 schema:isPartOf N9b35ac66be914bafb4a8587fe94f1b68
    21 schema:name Partial Evaluation of Janus Part 2: Assertions and Procedures
    22 schema:pagination 289-301
    23 schema:productId N58a62c2bc18641ba8766cedd68f880a5
    24 Nce9eeee2093a4fb89999f6f7abf3dd35
    25 Ne9da236ac147486aa948658df1657db3
    26 schema:publisher Ndd7ec75aab704caaafeaa3f8d8c6c1e6
    27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011121976
    28 https://doi.org/10.1007/978-3-642-29709-0_25
    29 schema:sdDatePublished 2019-04-15T13:26
    30 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    31 schema:sdPublisher Nd99d70c0ba964c3fbd7794139355a1af
    32 schema:url http://link.springer.com/10.1007/978-3-642-29709-0_25
    33 sgo:license sg:explorer/license/
    34 sgo:sdDataset chapters
    35 rdf:type schema:Chapter
    36 N1db8e945b7f64b3983e53878eb12d453 rdf:first Nd9cc770ff34c464284106ca014d34874
    37 rdf:rest Ncbdf83e3ca8b47938c32123fb3c106ae
    38 N285c310acc724a399a39a2d4d9662440 schema:familyName Virbitskaite
    39 schema:givenName Irina
    40 rdf:type schema:Person
    41 N4c132752de5140e5b18aa84028bf840f schema:familyName Voronkov
    42 schema:givenName Andrei
    43 rdf:type schema:Person
    44 N58a62c2bc18641ba8766cedd68f880a5 schema:name doi
    45 schema:value 10.1007/978-3-642-29709-0_25
    46 rdf:type schema:PropertyValue
    47 N71ada1241da24c18a822340eea90a996 rdf:first N4c132752de5140e5b18aa84028bf840f
    48 rdf:rest rdf:nil
    49 N9b35ac66be914bafb4a8587fe94f1b68 schema:isbn 978-3-642-29708-3
    50 978-3-642-29709-0
    51 schema:name Perspectives of Systems Informatics
    52 rdf:type schema:Book
    53 Nb8be1766b7604c6d801ec129a3a84643 rdf:first sg:person.016655503425.67
    54 rdf:rest rdf:nil
    55 Ncbdf83e3ca8b47938c32123fb3c106ae rdf:first N285c310acc724a399a39a2d4d9662440
    56 rdf:rest N71ada1241da24c18a822340eea90a996
    57 Nce9eeee2093a4fb89999f6f7abf3dd35 schema:name readcube_id
    58 schema:value 34fd9d90c52465bf8b0e11cf582e884c736adfb144043a4ce61ef839eefc4d3e
    59 rdf:type schema:PropertyValue
    60 Nd99d70c0ba964c3fbd7794139355a1af schema:name Springer Nature - SN SciGraph project
    61 rdf:type schema:Organization
    62 Nd9cc770ff34c464284106ca014d34874 schema:familyName Clarke
    63 schema:givenName Edmund
    64 rdf:type schema:Person
    65 Ndd7ec75aab704caaafeaa3f8d8c6c1e6 schema:location Berlin, Heidelberg
    66 schema:name Springer Berlin Heidelberg
    67 rdf:type schema:Organisation
    68 Ne9da236ac147486aa948658df1657db3 schema:name dimensions_id
    69 schema:value pub.1011121976
    70 rdf:type schema:PropertyValue
    71 anzsrc-for:20 schema:inDefinedTermSet anzsrc-for:
    72 schema:name Language, Communication and Culture
    73 rdf:type schema:DefinedTerm
    74 anzsrc-for:2004 schema:inDefinedTermSet anzsrc-for:
    75 schema:name Linguistics
    76 rdf:type schema:DefinedTerm
    77 sg:person.016655503425.67 schema:affiliation https://www.grid.ac/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 sg:pub.10.1007/3-540-10003-2_104 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006731052
    83 https://doi.org/10.1007/3-540-10003-2_104
    84 rdf:type schema:CreativeWork
    85 sg:pub.10.1007/3-540-47018-2_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049510361
    86 https://doi.org/10.1007/3-540-47018-2_5
    87 rdf:type schema:CreativeWork
    88 sg:pub.10.1007/3-540-48224-5_82 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016579794
    89 https://doi.org/10.1007/3-540-48224-5_82
    90 rdf:type schema:CreativeWork
    91 sg:pub.10.1007/978-3-540-70583-3_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022695518
    92 https://doi.org/10.1007/978-3-540-70583-3_22
    93 rdf:type schema:CreativeWork
    94 https://doi.org/10.1016/j.tcs.2005.07.002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043013026
    95 rdf:type schema:CreativeWork
    96 https://doi.org/10.1137/0218053 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062842152
    97 rdf:type schema:CreativeWork
    98 https://doi.org/10.1145/1244381.1244404 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006492707
    99 rdf:type schema:CreativeWork
    100 https://doi.org/10.1145/1366230.1366239 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018780610
    101 rdf:type schema:CreativeWork
    102 https://doi.org/10.1147/rd.53.0183 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063183065
    103 rdf:type schema:CreativeWork
    104 https://www.grid.ac/institutes/grid.5254.6 schema:alternateName University of Copenhagen
    105 schema:name DIKU, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen O, Denmark
    106 rdf:type schema:Organization
     




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


    ...