Keith J. C. Johnson

Modulares Design verbessert die Effizienz und Skalierbarkeit der Programmsynthese.

Dieses Papier stellt eine Methode vor, um automatisch formale Semantik mit Interpretern zu erstellen.

Neue Methoden zur effizienten Programmgenerierung erkunden.