Skip to main content

5 Result(s)

within Tetsuo Yokoyama Remove this filter Artificial Intelligence Remove this filter

and

  1. No Access

    Article

    Making Programs Reversible with Minimal Extra Data

    Reversible computing is an unconventional computing paradigm that comes with specific challenges. One of the important questions is the existence of reversible programs with minimal extra output (garbage data)...

    Robert Glück, Tetsuo Yokoyama in New Generation Computing (2022)

  2. No Access

    Chapter and Conference Paper

    Reversible Programs Have Reversible Semantics

    During the past decade, reversible programming languages have been formalized using various established semantic frameworks. However, these semantics fail to effectively specify the distinct properties of reve...

    Robert Glück, Robin Kaarsgaard… in Formal Methods. FM 2019 International Work… (2020)

  3. Article

    Reversible Computing: Foundations and Software

    Robert Glück, Tetsuo Yokoyama in New Generation Computing (2018)

    Download PDF (475 KB) View Article

  4. No Access

    Chapter and Conference Paper

    Reversible Machine Code and Its Abstract Processor Architecture

    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 revers...

    Holger Bock Axelsen, Robert Glück… in Computer Science – Theory and Applications (2007)

  5. No Access

    Chapter and Conference Paper

    Deterministic Higher-Order Patterns for Program Transformation

    Higher-order patterns, together with higher-order matching, enable concise specification of program transformation, and have been implemented in several program transformation systems. However,higher-order mat...

    Tetsuo Yokoyama, Zhenjiang Hu… in Logic Based Program Synthesis and Transfor… (2004)