| Publication | Date of Publication | Type |
|---|
Towards clean reversible lossless compression. A reversible programming experiment with zip
| 2024-11-13 | Paper |
scientific article; zbMATH DE number 7806139 (Why is no real title available?)
| 2024-02-16 | Paper |
Towards a taxonomy for reversible computation approaches
Reversible Computation | 2024-01-11 | Paper |
Towards a dereversibilizer: fewer asserts, statically
Reversible Computation | 2024-01-11 | Paper |
Reversible computing from a programming language perspective
Theoretical Computer Science | 2023-03-24 | Paper |
Reversible Programs Have Reversible Semantics
1509.68034 | 2022-12-07 | Paper |
Semi-inversion of conditional constructor term rewriting systems
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
From reversible programming languages to reversible metalanguages
Theoretical Computer Science | 2022-05-17 | Paper |
A categorical foundation for structured reversible flowchart languages
| 2022-04-25 | Paper |
scientific article; zbMATH DE number 7453197 (Why is no real title available?)
| 2022-01-06 | Paper |
Towards a Unified Language Architecture for Reversible Object-Oriented Programming
Reversible Computation | 2021-11-03 | Paper |
An efficient composition of bidirectional programs by memoization and lazy update
| 2021-07-06 | Paper |
Simulation of two-way pushdown automata revisited
| 2021-06-21 | Paper |
Constructing a binary tree from its traversals by reversible recursion and iteration
Information Processing Letters | 2019-05-10 | Paper |
Data structures and dynamic memory management in reversible languages
| 2018-10-17 | Paper |
A categorical foundation for structured reversible flowchart languages: soundness and adequacy
| 2018-09-06 | Paper |
Implementing reversible object-oriented language features on reversible machines
| 2018-03-16 | Paper |
Join inverse categories and reversible recursion
Journal of Logical and Algebraic Methods in Programming | 2017-02-22 | Paper |
Maximally-polyvariant partial evaluation in polynomial time
Lecture Notes in Computer Science | 2016-12-21 | Paper |
A practical simulation result for two-way pushdown automata
Implementation and Application of Automata | 2016-11-09 | Paper |
A classical propositional logic for reasoning about reversible logic circuits
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
On reversible Turing machines and their function universality
Acta Informatica | 2016-08-22 | Paper |
A regeneration scheme for generating extensions
Information Processing Letters | 2016-06-01 | Paper |
Fundamentals of reversible flowchart languages
Theoretical Computer Science | 2015-12-15 | Paper |
Bootstrapping compiler generators from partial evaluators
Perspectives of Systems Informatics | 2015-12-07 | Paper |
From standard to non-standard semantics by semantics modifiers
International Journal of Foundations of Computer Science | 2015-04-30 | Paper |
Reversible Representation and Manipulation of Constructor Terms in the Heap
Reversible Computation | 2013-12-17 | Paper |
Towards a reversible functional language
Reversible Computation | 2012-08-20 | Paper |
Optimizing reversible simulation of injective functions
| 2012-04-26 | Paper |
Self-generating program specializers
Information Processing Letters | 2012-03-27 | Paper |
A simple and efficient universal reversible Turing machine
Language and Automata Theory and Applications | 2011-06-03 | Paper |
What do reversible programs compute?
Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
Reversible arithmetic logic unit for quantum arithmetic
Journal of Physics A: Mathematical and Theoretical | 2010-10-11 | Paper |
An universal resolving algorithm for inverse computation of lazy languages
Perspectives of Systems Informatics | 2010-02-02 | Paper |
A program inverter for a functional language with equality and constructors.
Lecture Notes in Computer Science | 2010-01-05 | Paper |
An investigation of Jones optimality and BTI-universal specializers
Higher-Order and Symbolic Computation | 2009-07-13 | Paper |
Reversible Flowchart Languages and the Structured Reversible Program Theorem
Automata, Languages and Programming | 2008-08-19 | Paper |
Reversible Machine Code and Its Abstract Processor Architecture
Computer Science – Theory and Applications | 2008-06-03 | Paper |
On Jones-Optimal Specializers: A Case Study Using Unmix
Programming Languages and Systems | 2008-05-06 | Paper |
Functional and Logic Programming
Lecture Notes in Computer Science | 2007-09-25 | Paper |
A method for automatic program inversion based on LR(0) parsing
| 2006-06-19 | Paper |
scientific article; zbMATH DE number 2090115 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2080203 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 1953285 (Why is no real title available?)
| 2003-07-27 | Paper |
scientific article; zbMATH DE number 1953282 (Why is no real title available?)
| 2003-07-27 | Paper |
The universal resolving algorithm and its correctness: Inverse computation in a functional language
Science of Computer Programming | 2002-10-16 | Paper |
scientific article; zbMATH DE number 1808202 (Why is no real title available?)
| 2002-09-30 | Paper |
Program transformation system based on generalized partial computation
New Generation Computing | 2002-02-28 | Paper |
scientific article; zbMATH DE number 1630104 (Why is no real title available?)
| 2001-10-23 | Paper |
scientific article; zbMATH DE number 1630105 (Why is no real title available?)
| 2001-10-23 | Paper |
scientific article; zbMATH DE number 1612493 (Why is no real title available?)
| 2001-07-01 | Paper |
Conjunctive partial deduction: foundations, control, algorithms, and experiments
The Journal of Logic Programming | 2000-09-26 | Paper |
scientific article; zbMATH DE number 1067680 (Why is no real title available?)
| 1998-11-01 | Paper |
scientific article; zbMATH DE number 1070361 (Why is no real title available?)
| 1997-10-05 | Paper |
A positive supercompiler
Journal of Functional Programming | 1997-06-04 | Paper |
