Robert Glück

According to our database1, Robert Glück
  • authored at least 89 papers between 1990 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Join inverse categories and reversible recursion.
J. Log. Algebr. Meth. Program., 2017

A Minimalist's Reversible While Language.
IEICE Transactions, 2017

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

Implementing Reversible Object-Oriented Language Features on Reversible Machines.
Proceedings of the Reversible Computation - 9th International Conference, 2017

2016
Fundamentals of reversible flowchart languages.
Theor. Comput. Sci., 2016

On reversible Turing machines and their function universality.
Acta Inf., 2016

A Classical Propositional Logic for Reasoning About Reversible Logic Circuits.
Proceedings of the Logic, Language, Information, and Computation, 2016

A Practical Simulation Result for Two-Way Pushdown Automata.
Proceedings of the Implementation and Application of Automata, 2016

2015
Maximally-Polyvariant Partial Evaluation in Polynomial Time.
Proceedings of the Perspectives of System Informatics, 2015

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

2013
Simulation of Two-Way Pushdown Automata Revisited.
Proceedings of the Semantics, 2013

Reversible Representation and Manipulation of Constructor Terms in the Heap.
Proceedings of the Reversible Computation - 5th International Conference, 2013

2012
A self-applicable online partial evaluator for recursive flowchart languages.
Softw., Pract. Exper., 2012

Optimizing Reversible Simulation of Injective Functions.
Multiple-Valued Logic and Soft Computing, 2012

Minimizing Garbage Size by Generating Reversible Simulations.
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).
Sci. Comput. Program., 2011

Towards a Reversible Functional Language.
Proceedings of the Reversible Computation - Third International Workshop, 2011

A Reversible Processor Architecture and Its Reversible Logic Design.
Proceedings of the Reversible Computation - Third International Workshop, 2011

A Simple and Efficient Universal Reversible Turing Machine.
Proceedings of the Language and Automata Theory and Applications, 2011

What Do Reversible Programs Compute?
Proceedings of the Foundations of Software Science and Computational Structures, 2011

Bootstrapping Compiler Generators from Partial Evaluators.
Proceedings of the Perspectives of Systems Informatics, 2011

2010
Self-generating program specializers.
Inf. Process. Lett., 2010

2009
MicroPower: Towards Low-Power Microprocessors with Reversible Computing.
ERCIM News, 2009

Is there a fourth Futamura projection?
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

An Experiment with the Fourth Futamura Projection.
Proceedings of the Perspectives of Systems Informatics, 2009

2008
An investigation of Jones optimality and BTI-universal specializers.
Higher-Order and Symbolic Computation, 2008

Optimized reversible binary-coded decimal adders.
Journal of Systems Architecture - Embedded Systems Design, 2008

Reversible Flowchart Languages and the Structured Reversible Program Theorem.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Principles of a reversible programming language.
Proceedings of the 5th Conference on Computing Frontiers, 2008

2007
A reversible programming language and its invertible self-interpreter.
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Reversible Machine Code and Its Abstract Processor Architecture.
Proceedings of the Computer Science, 2007

2006
An Universal Resolving Algorithm for Inverse Computation of Lazy Languages.
Proceedings of the Perspectives of Systems Informatics, 2006

On Jones-Optimal Specializers: A Case Study Using Unmix.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005
Revisiting an automatic program inverter for Lisp.
SIGPLAN Notices, 2005

A Method for Automatic Program Inversion Based on LR(0) Parsing.
Fundam. Inform., 2005

The Program Inverter LRinv and Its Structure.
Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

2004
Offline partial evaluation can be as accurate as online partial evaluation.
ACM Trans. Program. Lang. Syst., 2004

Derivation of Deterministic Inverse Programs Based on LR Parsing.
Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2003
Transforming interpreters into inverse interpreters by partial evaluation.
Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003

The Translation Power of the Futamura Projections.
Proceedings of the Perspectives of Systems Informatics, 2003

A Program Inverter for a Functional Language with Equality and Constructors.
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.
Sci. Comput. Program., 2002

Jones optimality, binding-time improvements, and the strength of program specializers.
Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

Automatic generation of efficient string matching algorithms by generalized partial computation.
Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

WSDFU: Program Transformation System Based on Generalized Partial Computation.
Proceedings of the Essence of Computation, Complexity, Analysis, 2002

Principles of Inverse Computation and the Universal Resolving Algorithm.
Proceedings of the Essence of Computation, Complexity, Analysis, 2002

An Automatic Program Inverter for Lisp: Potential and Limitations.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001
Partial Evaluation and Program Transformation Day - Guest Editor's Preface.
New Generation Comput., 2001

Program Transformation System Based on Generalized Partial Computation.
New Generation Comput., 2001

From Standard to Non-Standard Semantics by Semantics Modifiers.
Int. J. Found. Comput. Sci., 2001

Relating Accumulative and Non-accumulative Functional Programs.
Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

On Deforesting Parameters of Accumulating Maps.
Proceedings of the Logic Based Program Synthesis and Transformation, 2001

Jones Optimality and the Strength of Program Specializers.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000
Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments".
J. Log. Program., 2000

The Universal Resolving Algorithm: Inverse Computation in a Functional Language.
Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

Combining Semantics with Non-standard Interpreter Hierarchies.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

Automatic Generation of Very Efficient Programs by Generalized Partial Computation.
Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

Principles of Inverse Computation in a Functional Language.
Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999
Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments.
J. Log. Program., 1999

Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.
Proceedings of the Perspectives of System Informatics, 1999

Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All.
Proceedings of the Perspectives of System Informatics, 1999

1998
On the Degeneration of Program Generators by Program Composition.
New Generation Comput., 1998

1998 Symposium on Partial Evaluation.
ACM Comput. Surv., 1998

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

Multi-Level Specialization (Extended Abstract).
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.
Proceedings of the Logic Programming Synthesis and Transformation, 1998

Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages.
Fuji International Symposium on Functional and Logic Programming, 1998

Generative Programming and Active Libraries.
Proceedings of the Generic Programming, 1998

1997
An Automatic Program Generator for Multi-Level Specialization.
Lisp and Symbolic Computation, 1997

A Regeneration Scheme for Generating Extensions.
Inf. Process. Lett., 1997

1996
A Positive Supercompiler.
J. Funct. Program., 1996

Bootstrapping higher-order program transformers from interpreters.
Proceedings of the 1996 ACM Symposium on Applied Computing, 1996

Controlling Conjunctive Partial Deduction.
Proceedings of the Programming Languages: Implementations, 1996

Fast Binding-Time Analysis for Multi-Level Specialization.
Proceedings of the Perspectives of System Informatics, 1996

Reasoning about Hierarchies of Online Program Specialization Systems.
Proceedings of the Partial Evaluation, International Seminar, 1996

A Roadmap to Metacomputation by Supercompilation.
Proceedings of the Partial Evaluation, International Seminar, 1996

1995
Fortran Program Specialization.
SIGPLAN Notices, 1995

An Algorithm of Generalization in Positive Supercompilation.
Proceedings of the Logic Programming, 1995

Efficient Multi-level Generating Extensions for Program Specialization
Proceedings of the Programming Languages: Implementations, 1995

On the Mechanics of Metasystem Hierarchies in Program Transformation.
Proceedings of the Logic Programming Synthesis and Transformation, 1995

1994
On the Generation of Specializers.
J. Funct. Program., 1994

Generating Transformers for Deforestation and Supercompilation.
SAS, 1994

Partial Deduction and Driving are Equivalent.
Proceedings of the Programming Language Implementation and Logic Programming, 1994

Partial Evaluation of Numerical Programs in Fortran.
Proceedings of the PEPM'94, 1994

Generating Optimizing Specializers.
Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC.
Proceedings of the Programming Languages and Systems, 1994

1993
Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree.
Proceedings of the Static Analysis, Third International Workshop, 1993

1991
Towards Multiple Self-Application.
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990
Application of Metasystem Transition to Function Inversion and Transformation.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990


  Loading...