Skip to main content

6 Result(s)

within Tetsuo Yokoyama Remove this filter Software Engineering/Programming and Operating Systems 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 Flowchart Languages and the Structured Reversible Program Theorem

    Many irreversible computation models have reversible counterparts, but these are poorly understood at present. We introduce reversible flowcharts with an assertion operator and show that any reversible flowcha...

    Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück in Automata, Languages and Programming (2008)

  5. No Access

    Chapter

    Program Optimizations and Transformations in Calculation Form

    The world of program optimization and transformation takes on a new fascination when viewed through the lens of program calculation. Unlike the traditional fold/unfold approach to program transformation on arb...

    Zhenjiang Hu, Tetsuo Yokoyama… in Generative and Transformational Techniques… (2006)

  6. 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)