Universität Trier, SS 14, Übersetzung und Analyse von Programmen, Projekt