Robert Glück
Københavns Universitet
H-index: 40
Europe-Denmark
Top articles of Robert Glück
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Partial Evaluation of Reversible Flowchart Programs | Louis Normann Robert Glück | 2024/1/11 | |
Towards a dereversibilizer: fewer asserts, statically | Jonas Wolpers Reholt Robert Glück Matthis Kruse | 2023/7/12 | |
Towards a taxonomy for reversible computation approaches | Robert Glück Ivan Lanese Claudio Antares Mezzina Jarosław Adam Miszczak Iain Phillips | 2023/7/12 | |
Reversible computing from a programming language perspective | Theoretical Computer Science | Robert Glück Tetsuo Yokoyama | 2023/4/10 |
Reversible programming: a case study of two string-matching algorithms | arXiv preprint arXiv:2211.12225 | Robert Glück Tetsuo Yokoyama | 2022/11/22 |
Making programs reversible with minimal extra data | New Generation Computing | Robert Glück Tetsuo Yokoyama | 2022/7 |
From reversible programming languages to reversible metalanguages | Theoretical Computer Science | Robert Glück Robin Kaarsgaard Tetsuo Yokoyama | 2022/6/12 |
An Inversion Tool for Conditional Term Rewriting Systems--A Case Study of Ackermann Inversion | arXiv:2109.02810 | Maria Bendix Mikkelsen Robert Glück Maja H Kirkeby | 2021/9/7 |
Towards a unified language architecture for reversible object-oriented programming | Lasse Hay-Schmidt Robert Glück Martin Holm Cservenka Tue Haulund | 2021/6/23 | |
Inversion framework: reasoning about inversion by conditional term rewriting systems | Maja Kirkeby Robert Glück | 2020/9/8 | |
Foundations of reversible computation | Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405 12 | Bogdan Aman Gabriel Ciobanu Robert Glück Robin Kaarsgaard Jarkko Kari | 2020 |
An efficient composition of bidirectional programs by memoization and lazy update | Kanae Tsushima Bach Nguyen Trong Robert Glück Zhenjiang Hu | 2020/9/2 | |
On the Semi-Inversion of Conditional Term Rewriting Systems | 4 th Women in Logic Workshop | Maja H Kirkeby Robert Glück | 2020/6/30 |
An Experiment Combining Specialization with Abstract Interpretation | arXiv preprint arXiv:2008.02937 | John P Gallagher Robert Glück | 2020/8/7 |
Semi-inversion of conditional constructor term rewriting systems | Maja Hanne Kirkeby Robert Glück | 2020 | |
Software and reversible systems: a survey of recent activities | Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405 12 | Claudio Antares Mezzina Rudolf Schlatte Robert Glück Tue Haulund James Hoey | 2020 |
Reversible programs have reversible semantics | Robert Glück Robin Kaarsgaard Tetsuo Yokoyama | 2020 | |
Reversible languages and incremental state saving in optimistic parallel discrete event simulation | Markus Schordan Tomas Oppelstrup Michael Kirkedal Thomsen Robert Glück | 2020/7/9 |