Anforderungen an Abschlussarbeiten

Die Anforderungen an Abschlussarbeiten sind für alle studentischen Ausarbeitungen (d.h. Abschlussarbeiten, Projektseminararbeiten, Seminararbeiten, etc.) an unserem Lehrstuhl verbindlich und MÜSSEN eingehalten werden! Etwaige Abweichungen MÜSSEN mit dem Betreuer der Arbeit abgesprochen werden! Nicht-abgesprochene Abweichungen von den Anforderungen an studentischen Ausarbeitungen führen in der Regel zu einer Bewertung der Arbeit mit "nicht ausreichend".

Bitte beachten Sie unbedingt die folgenden

Hinweise zu unseren Lehrveranstaltungen
(Moodle-Login erforderlich; ggf. als Gast)!

Empirische Untersuchung von Typsystemen

Type:
  • Bachelor Thesis
  • Master Thesis
  • Diploma Thesis
Status:
offered
Tutor:

Abstract

Typsysteme spielen in derzeitigen Programmiersprachen eine immense Rolle - Sprachen wie Java oder C++ verfügen über ein sogenanntes statisches Typsystem, welches Entwicklern vor Ausführung eines Programms durch sogenannte Typchecker frühzeitig auf Fehler hinweist. In jüngster Zeit finden jedoch immer wieder dynamische typisierte Sprachen wie zum Beispiel Ruby größere Beachtung. Ziel der Arbeit ist es, den potentiellen Nutzen (oder Nichtnutzen) von statischen Typsystemen experimentell (d.h. mit empirischen Mitteln) nachzuweisen.