Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Normann, Louis Marott"'
Autor:
Glück, Robert, Normann, Louis Marott
Publikováno v:
EPTCS 413, 2024, pp. 1-14
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 inversion projections can produce not only functionally but also textually
Externí odkaz:
http://arxiv.org/abs/2412.03122
