Partial Evaluation of Reversible Flowchart Programs. - Louis Normann; Robert Glück (PEPM, 2024)