Robert Glück

Maja H. Kirkeby

Proceedings of the 9th International Workshop on Verification and Program Transformation, 2021

Towards a Unified Language Architecture for Reversible Object-Oriented Programming.

[BibT_eX]

[DOI]

Lasse Hay-Schmidt

Martin Holm Cservenka

Tue Haulund

Proceedings of the Reversible Computation - 13th International Conference, 2021

2020

Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation.

[BibT_eX]

[DOI]

Markus Schordan

Tomas Oppelstrup

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Software and Reversible Systems: A Survey of Recent Activities.

[BibT_eX]

[DOI]

Claudio Antares Mezzina

Martin Holm Cservenka

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Foundations of Reversible Computation.

[BibT_eX]

[DOI]

Claudio Antares Mezzina

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

An Experiment Combining Specialization with Abstract Interpretation.

[BibT_eX]

[DOI]

John P. Gallagher

Proceedings of the Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, 2020

Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems.

[BibT_eX]

[DOI]

Maja H. Kirkeby

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2019

Constructing a binary tree from its traversals by reversible recursion and iteration.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2019

Semi-inversion of Conditional Constructor Term Rewriting Systems.

[BibT_eX]

[DOI]

Maja Hanne Kirkeby

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

Reversible Programs Have Reversible Semantics.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Reversible Computing: Foundations and Software - Preface of Special Issue.

[BibT_eX]

[DOI]

New Gener. Comput., 2018

A categorical foundation for structured reversible flowchart languages: Soundness and adequacy.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2018

A Categorical Foundation for Structured Reversible Flowchart Languages.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018

Data Structures and Dynamic Memory Management in Reversible Languages.

[BibT_eX]

[DOI]

Martin Holm Cservenka

Tue Haulund

Torben Ægidius Mogensen

Proceedings of the Reversible Computation - 10th International Conference, 2018

2017

Join inverse categories and reversible recursion.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

A Minimalist's Reversible While Language.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2017

Implementing Reversible Object-Oriented Language Features on Reversible Machines.

[BibT_eX]

[DOI]

Tue Haulund

Torben Ægidius Mogensen

Proceedings of the Reversible Computation - 9th International Conference, 2017

2016

Fundamentals of reversible flowchart languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

On reversible Turing machines and their function universality.

[BibT_eX]

[DOI]

Acta Informatica, 2016

A Classical Propositional Logic for Reasoning About Reversible Logic Circuits.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2016

A Practical Simulation Result for Two-Way Pushdown Automata.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2016

2015

Maximally-Polyvariant Partial Evaluation in Polynomial Time.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2015

2014

Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform.

[BibT_eX]

[DOI]

Alexis De Vos

Stéphane Burignat

Torben Ægidius Mogensen

Eva Rotenberg

ACM J. Emerg. Technol. Comput. Syst., 2014

2013

Simulation of Two-Way Pushdown Automata Revisited.

[BibT_eX]

[DOI]

Proceedings of the Semantics, 2013

Reversible Representation and Manipulation of Constructor Terms in the Heap.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 5th International Conference, 2013

2012

A self-applicable online partial evaluator for recursive flowchart languages.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2012

Optimizing Reversible Simulation of Injective Functions.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2012

Cleaning Up: Garbage-Free Reversible Circuits by Design Languages.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Electronic System Design, 2012

Minimizing Garbage Size by Generating Reversible Simulations.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Networking and Computing, 2012

2011

Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005).

[BibT_eX]

[DOI]

Eelco Visser

Sci. Comput. Program., 2011

Towards a Reversible Functional Language.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - Third International Workshop, 2011

A Reversible Processor Architecture and Its Reversible Logic Design.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - Third International Workshop, 2011

A Simple and Efficient Universal Reversible Turing Machine.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2011

What Do Reversible Programs Compute?

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2011

Bootstrapping Compiler Generators from Partial Evaluators.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2011

2010

Self-generating program specializers.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2010

2009

MicroPower: Towards Low-Power Microprocessors with Reversible Computing.

[BibT_eX]

[DOI]

Alexis De Vos

ERCIM News, 2009

Is there a fourth Futamura projection?

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

An Experiment with the Fourth Futamura Projection.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2009

2008

An investigation of Jones optimality and BTI-universal specializers.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2008

Optimized reversible binary-coded decimal adders.

[BibT_eX]

[DOI]

J. Syst. Archit., 2008

Reversible Flowchart Languages and the Structured Reversible Program Theorem.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Principles of a reversible programming language.

[BibT_eX]

[DOI]

Proceedings of the 5th Conference on Computing Frontiers, 2008

2007

A reversible programming language and its invertible self-interpreter.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Reversible Machine Code and Its Abstract Processor Architecture.

[BibT_eX]

[DOI]

Proceedings of the Computer Science, 2007

2006

An Universal Resolving Algorithm for Inverse Computation of Lazy Languages.

[BibT_eX]

[DOI]

Yuri A. Klimov

Proceedings of the Perspectives of Systems Informatics, 2006

On Jones-Optimal Specializers: A Case Study Using Unmix.

[BibT_eX]

[DOI]

Johan Gade

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

Revisiting an automatic program inverter for Lisp.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2005

A Method for Automatic Program Inversion Based on LR(0) Parsing.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2005

The Program Inverter LRinv and Its Structure.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

2004

Offline partial evaluation can be as accurate as online partial evaluation.

[BibT_eX]

[DOI]

Niels H. Christensen

ACM Trans. Program. Lang. Syst., 2004

Derivation of Deterministic Inverse Programs Based on LR Parsing.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2003

Transforming interpreters into inverse interpreters by partial evaluation.

[BibT_eX]

[DOI]

Youhei Kawada

Takuya Hashimoto

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003

The Translation Power of the Futamura Projections.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2003

A Program Inverter for a Functional Language with Equality and Constructors.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

The universal resolving algorithm and its correctness: inverse computation in a functional language.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2002

Jones optimality, binding-time improvements, and the strength of program specializers.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

Automatic generation of efficient string matching algorithms by generalized partial computation.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

WSDFU: Program Transformation System Based on Generalized Partial Computation.

[BibT_eX]

[DOI]

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

Principles of Inverse Computation and the Universal Resolving Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

An Automatic Program Inverter for Lisp: Potential and Limitations.

[BibT_eX]

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

Partial Evaluation and Program Transformation Day - Guest Editor's Preface.

[BibT_eX]

[DOI]

New Gener. Comput., 2001

Program Transformation System Based on Generalized Partial Computation.

[BibT_eX]

[DOI]

New Gener. Comput., 2001

From Standard to Non-Standard Semantics by Semantics Modifiers.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2001

Relating Accumulative and Non-accumulative Functional Programs.

[BibT_eX]

[DOI]

Armin Kühnemann

Kazuhiko Kakehi

Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

On Deforesting Parameters of Accumulating Maps.

[BibT_eX]

[DOI]

Kazuhiko Kakehi

Proceedings of the Logic Based Program Synthesis and Transformation, 2001

Jones Optimality and the Strength of Program Specializers.

[BibT_eX]

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments".

[BibT_eX]

[DOI]

J. Log. Program., 2000

The Universal Resolving Algorithm: Inverse Computation in a Functional Language.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

Combining Semantics with Non-standard Interpreter Hierarchies.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

Automatic Generation of Very Efficient Programs by Generalized Partial Computation.

[BibT_eX]

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

Principles of Inverse Computation in a Functional Language.

[BibT_eX]

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999

Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments.

[BibT_eX]

[DOI]

J. Log. Program., 1999

Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.

[BibT_eX]

[DOI]

Michael Leuschel

Proceedings of the Perspectives of System Informatics, 1999

Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All.

[BibT_eX]

[DOI]

Niels H. Christensen

Søren Laursen

Proceedings of the Perspectives of System Informatics, 1999

1998

On the Degeneration of Program Generators by Program Composition.

[BibT_eX]

[DOI]

Andrei V. Klimov

New Gener. Comput., 1998

1998 Symposium on Partial Evaluation.

[BibT_eX]

[DOI]

Olivier Danvy

Peter Thiemann

ACM Comput. Surv., 1998

Introduction to Supercompilation.

[BibT_eX]

[DOI]

Proceedings of the Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29, 1998

Multi-Level Specialization (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29, 1998

Generalization in Hierarchies of Online Program Specialization Systems.

[BibT_eX]

[DOI]

John Hatcliff

Proceedings of the Logic Programming Synthesis and Transformation, 1998

Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages.

[BibT_eX]

Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998

Generative Programming and Active Libraries.

[BibT_eX]

[DOI]

Proceedings of the Generic Programming, 1998

1997

An Automatic Program Generator for Multi-Level Specialization.

[BibT_eX]

LISP Symb. Comput., 1997

A Regeneration Scheme for Generating Extensions.

[BibT_eX]

[DOI]

Andrei V. Klimov

Inf. Process. Lett., 1997

1996

A Positive Supercompiler.

[BibT_eX]

[DOI]

Neil D. Jones

J. Funct. Program., 1996

Bootstrapping higher-order program transformers from interpreters.

[BibT_eX]

[DOI]

Michael Sperber

Peter Thiemann

Proceedings of the 1996 ACM Symposium on Applied Computing, 1996

Controlling Conjunctive Partial Deduction.

[BibT_eX]

[DOI]

Bern Martens

Proceedings of the Programming Languages: Implementations, 1996

Fast Binding-Time Analysis for Multi-Level Specialization.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 1996

Reasoning about Hierarchies of Online Program Specialization Systems.

[BibT_eX]

[DOI]

John Hatcliff

Proceedings of the Partial Evaluation, International Seminar, 1996

A Roadmap to Metacomputation by Supercompilation.

[BibT_eX]

[DOI]

Proceedings of the Partial Evaluation, International Seminar, 1996

1995

Fortran Program Specialization.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1995

An Algorithm of Generalization in Positive Supercompilation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1995

Efficient Multi-level Generating Extensions for Program Specialization

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1995

On the Mechanics of Metasystem Hierarchies in Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Synthesis and Transformation, 1995

1994

On the Generation of Specializers.

[BibT_eX]

[DOI]

J. Funct. Program., 1994

Generating Transformers for Deforestation and Supercompilation.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Partial Deduction and Driving are Equivalent.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1994

Partial Evaluation of Numerical Programs in Fortran.

[BibT_eX]

Romana Baier

Robert Zöchling

Proceedings of the PEPM'94, 1994

Generating Optimizing Specializers.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC.

[BibT_eX]

[DOI]

Neil D. Jones

Proceedings of the Programming Languages and Systems, 1994

1993

Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree.

[BibT_eX]

[DOI]

Andrei V. Klimov

Proceedings of the Static Analysis, Third International Workshop, 1993

1991

Towards Multiple Self-Application.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990

Application of Metasystem Transition to Function Inversion and Transformation.

[BibT_eX]

[DOI]

Valentin F. Turchin

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

1987

OC-FP, An applicative language combination with occam and the algebra of processes.

[BibT_eX]

[DOI]