"Patterns and Rewrite Rules for Systematic Code Generation (From High-Level ..."

Michel Steuwer, Christian Fensch, Christophe Dubach (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics