Programming Systems Group - Inf2 - of the Friedrich-Alexander-Universität Erlangen-Nürnberg - FAU - in Germany