Automating the functional correspondence between higher-order evaluators and abstract machines. (English) Zbl 1521.68033
De Angelis, Emanuele (ed.) et al., Logic-based program synthesis and transformation. 31st international symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13290, 38-59 (2022).