"A Program Interpreter Framework for Arbitrary Abstractions."

Jochen Quante (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics