Robert Glück

Available identifiers

zbMath Open gluck.robertWikidataQ62036567 ScholiaQ62036567MaRDI QIDQ232939

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6197211	2024-02-16	Paper
Towards a taxonomy for reversible computation approaches	2024-01-11	Paper
Towards a dereversibilizer: fewer asserts, statically	2024-01-11	Paper
Reversible computing from a programming language perspective	2023-03-24	Paper
Reversible Programs Have Reversible Semantics	2022-12-07	Paper
Semi-inversion of Conditional Constructor Term Rewriting Systems	2022-08-25	Paper
From reversible programming languages to reversible metalanguages	2022-05-17	Paper
A categorical foundation for structured reversible flowchart languages	2022-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q5020658	2022-01-06	Paper
Towards a Unified Language Architecture for Reversible Object-Oriented Programming	2021-11-03	Paper
An efficient composition of bidirectional programs by memoization and lazy update	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4994698	2021-06-21	Paper
Constructing a binary tree from its traversals by reversible recursion and iteration	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	2017-02-22	Paper
Maximally-Polyvariant Partial Evaluation in Polynomial Time	2016-12-21	Paper
A Practical Simulation Result for Two-Way Pushdown Automata	2016-11-09	Paper
A Classical Propositional Logic for Reasoning About Reversible Logic Circuits	2016-09-09	Paper
On reversible Turing machines and their function universality	2016-08-22	Paper
Fundamentals of reversible flowchart languages	2015-12-15	Paper
Bootstrapping Compiler Generators from Partial Evaluators	2015-12-07	Paper
FROM STANDARD TO NON-STANDARD SEMANTICS BY SEMANTICS MODIFIERS	2015-04-30	Paper
Reversible Representation and Manipulation of Constructor Terms in the Heap	2013-12-17	Paper
Towards a Reversible Functional Language	2012-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q5389329	2012-04-26	Paper
Self-generating program specializers	2012-03-27	Paper
A Simple and Efficient Universal Reversible Turing Machine	2011-06-03	Paper
What Do Reversible Programs Compute?	2011-05-19	Paper
Reversible arithmetic logic unit for quantum arithmetic	2010-10-11	Paper
An Universal Resolving Algorithm for Inverse Computation of Lazy Languages	2010-02-02	Paper
Programming Languages and Systems	2010-01-05	Paper
An investigation of Jones optimality and BTI-universal specializers	2009-07-13	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
On Jones-Optimal Specializers: A Case Study Using Unmix	2008-05-06	Paper
Functional and Logic Programming	2007-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q5472880	2006-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q4808807	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4472445	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4414734	2003-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4414738	2003-07-27	Paper
The universal resolving algorithm and its correctness: Inverse computation in a functional language	2002-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q3149665	2002-09-30	Paper
Program transformation system based on generalized partial computation	2002-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q2729910	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q2729911	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q2721101	2001-07-01	Paper
Conjunctive partial deduction: foundations, control, algorithms, and experiments	2000-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q4358294	1998-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4356835	1997-10-05	Paper
A positive supercompiler	1997-06-04	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Robert Glück