2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2024★ 1 cited
Inversion by Partial Evaluation: A Reversible Interpreter Experiment
Robert Glück, Louis Marott Normann
A computational limit of combining partial evaluation and program inversion is investigated. Using a reversible Turing machine interpreter, we show that the first Futamura and inve…
cs.PL2022★ 2 cited
Reversible Programming: A Case Study of Two String-Matching Algorithms
Robert Glück, Tetsuo Yokoyama
String matching is a fundamental problem in algorithm. This study examines the development and construction of two reversible string-matching algorithms: a naive string-matching al…