"Automating Derivations of Abstract Machines from Reduction Semantics: - A ..."

Filip Sieczkowski, Malgorzata Biernacka, Dariusz Biernacki (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics