Search filters

List of works by Robert Glück

1998 symposium on partial evaluation

scientific article published in September 1998

A Categorical Foundation for Structured Reversible Flowchart Languages

scientific article published in April 2018

A Classical Propositional Logic for Reasoning About Reversible Logic Circuits

scientific article published in 2016

A Practical Simulation Result for Two-Way Pushdown Automata

scientific article published in 2016

A Reversible Processor Architecture and Its Reversible Logic Design

scientific article published in 2012

A reversible programming language and its invertible self-interpreter

scientific article published in 2007

A roadmap to metacomputation by supercompilation

scientific article published in 1996

A self-applicable online partial evaluator for recursive flowchart languages

scientific article published on 20 June 2011

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

scientific article published on 23 March 2018

An Experiment with the Fourth Futamura Projection

scientific article published in 2010

An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion

scientific article published on 6 September 2021

An investigation of Jones optimality and BTI-universal specializers

scientific article published in September 2008

Binding-time analysis applied to mathematical algorithms

scientific article published in 1996

Bootstrapping Compiler Generators from Partial Evaluators

scientific article published in 2012

Bootstrapping higher-order program transformers from interpreters

scientific article published in 1996

Cleaning Up: Garbage-Free Reversible Circuits by Design Languages

scientific article published in December 2012

Conjunctive partial deduction: foundations, control, algorithms, and experiments

scientific article published in November 1999

Controlling conjunctive partial deduction

scientific article published in 1996

Data Structures and Dynamic Memory Management in Reversible Languages

scientific article published in 2018

Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform

scientific article published on 5 November 2014

Efficient multi-level generating extensions for program specialization

scientific article published in 1995

Fortran program specialization

scientific article published in April 1995

Foundations of Reversible Computation

scientific article published in 2020

Fundamentals of reversible flowchart languages

scientific article published in January 2016

Implementing Reversible Object-Oriented Language Features on Reversible Machines

scientific article published in 2017

Introduction to Supercompilation

scientific article published in 1999

Is there a fourth futamura projection?

scientific article published in 2008

Join inverse categories and reversible recursion

scientific article published in February 2017

Maximally-Polyvariant Partial Evaluation in Polynomial Time

scientific article published in 2016

Metasystem transition schemes in computer science and mathematics

scientific article published in December 1995

Minimizing Garbage Size by Generating Reversible Simulations

scientific article published in December 2012

Multi-Level Specialization

scientific article published in 1999

Occam's razor in metacomputation: the notion of a perfect process tree

scientific article published in 1993

Offline partial evaluation can be as accurate as online partial evaluation

scientific article published in January 2004

On reversible Turing machines and their function universality

scientific article published on 27 January 2016

On the generation of specializers

scientific article published in October 1994

Optimized reversible binary-coded decimal adders

scientific article published in July 2008

Partial evaluation and program transformation day

scientific article published in March 2002

Principles of a reversible programming language

scientific article published in 2008

Program transformation system based on generalized partial computation

scientific article published in March 2002

Reasoning about hierarchies of online program specialization systems

scientific article published in 1996

Reversible Computing: Foundations and Software

scientific article published in July 2018

Reversible Flowchart Languages and the Structured Reversible Program Theorem

Reversible arithmetic logic unit for quantum arithmetic

scientific article published on 16 August 2010

Revisiting an automatic program inverter for Lisp

scientific article published in May 2005

Self-generating program specializers

scientific article published in August 2010

Simulation of Two-Way Pushdown Automata Revisited

scientific article published on 19 September 2013

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

scientific article published in May 2011

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

scientific article published in May 2002

Towards a Reversible Functional Language

scientific article published in 2012

What Do Reversible Programs Compute?

scientific article published in 2011