DMCA

A Type System for Program Transformations based on Parametric Tree Grammars (2012)

by Katharina Haselhorst , Prof Dr , Klaus Ostermann