Tetsuo Yokoyama

Available identifiers

Publication	Date of Publication	Type
Towards clean reversible lossless compression. A reversible programming experiment with zip	2024-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q6197211	2024-02-16	Paper
Reversible computing from a programming language perspective	2023-03-24	Paper
Reversible Programs Have Reversible Semantics	2022-12-07	Paper
From reversible programming languages to reversible metalanguages	2022-05-17	Paper
Complete transition diagrams of generic Hamiltonian flows with a few heteroclinic orbits	2021-11-25	Paper
Clean Reversible Simulations of Ranking Binary Trees	2020-05-28	Paper
Constructing a binary tree from its traversals by reversible recursion and iteration	2019-05-10	Paper
Programming Techniques for Reversible Comparison Sorts	2016-01-08	Paper
Fundamentals of reversible flowchart languages	2015-12-15	Paper
Towards a Reversible Functional Language	2012-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q5389329	2012-04-26	Paper
Deterministic second-order patterns	2009-07-09	Paper
Reversible Flowchart Languages and the Structured Reversible Program Theorem	2008-08-19	Paper
Reversible Machine Code and Its Abstract Processor Architecture	2008-06-03	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper

This page was built for person: Tetsuo Yokoyama