Brigitte Pientka

Dieses Papier stellt eine effiziente Baum-Diffing-Methode unter Verwendung von SAT-Lösungen vor.

Tyro verbessert die Identifizierung von Typfehlern für Programmierer, besonders für Anfänger.

Ein Rahmen für sichere und effiziente Code-Generierung vorstellen.