Abschlussarbeiten

Reh, Philipp (2013). "Bigsteps und Downsteps - Eine Verfeinerung der Bigstep-Semantik". Diplomarbeit.

Benner, Colin (2012). "Ein Low Level Virtual Machine-Backend für Objective Caml". Lehrstuhl für Compilerbau und Softwareanalyse, Naturwissenschaftlich-Technische Fakultät, Universität Siegen. Bachelorarbeit.

Leers, Johannes (2012). "Programmieren für das Web 2.x". Lehrstuhl für Compilerbau und Softwareanalyse, Naturwissenschaftlich-Technische Fakultät, Universität Siegen. Bachelorarbeit. Vortrag.

Fischbach, Marcell (2011). "Linear Scan Register Allocation for the OCaml native code compiler". Lehrstuhl für Compilerbau und Softwareanalyse, Naturwissenschaftlich-Technische Fakultät, Universität Siegen. Diplomarbeit. Vortrag.

Kölzer, Jan Thomas (2011). "Codegenerierung auf der Basis einer operationellen Semantik". Lehrstuhl für Compilerbau und Softwareanalyse, Naturwissenschaftlich-Technische Fakultät, Universität Siegen. Staatsarbeit.

Meurer, Simon (2010). "Umgebungssemantiken: Von der operationellen Semantik zum Compiler". Lehrstuhl für Compilerbau und Softwareanalyse, Fachbereich Elektrotechnik und Informatik, Universität Siegen. Diplomarbeit.

Strack, Marcell (2010). "Typsicherheit und Big step-Semantik". Lehrstuhl für Compilerbau und Softwareanalyse, Fachbereich Elektrotechnik und Informatik, Universität Siegen. Bachelorarbeit.

Afshar-Oromieh, Mehrnush (2009). "Umgebungssemantiken". Lehrstuhl für Compilerbau und Softwareanalyse, Fachbereich Elektrotechnik und Informatik, Universität Siegen. Diplomarbeit.

Fehler, Christian ; Mies, Benjamin (2008). "Ein Lernwerkzeug für die Grundlagen der theoretischen Informatik". Fachgruppe Programmiersprachen, Fachbereich Elektrotechnik und Informatik, Universität Siegen. Diplomarbeit.

Meurer, Benedikt (2007). "Theoretische Grundlagen der Objektorientierung". Institut für Theoretische Informatik, Fachbereich Mathematik, Universität Siegen. Diplomarbeit.