1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…