Institut für Computersprachen
Programmiersprachen und Übersetzer
 | Diplomarbeit |
|---|---|
| Titel | Implementation of the VooDo Kern Progrmming Language |
| Autor | Bickel, Joachim |
| Erscheinungsjahr | 2005 |
| Klasse | Sonstiges |
| Bestelldatum | |
| Inventardatum | |
| Abstract | VooDo ist eine experimentelle objektorientierte Programmiersprache, welche eine Vielzahl an Features aufweist, hauptsächlich das Typsystem betreffend. Beispiele sind Mehrfachvererbung, Module mit Unterstützung für Vererbung, generische Typen und sogenannte verteilte Optionen, welche ein Hauptmerkmal von VooDo darstellen, das es in anderen objektorientierten Sprachen nicht gibt. Optionen ermöglichen es einem Compiler, Synchronisations-Bedingungen statisch zu überprüfen. Es wird angenommen, dass die Implementierung des VooDo Typsytems recht komplex ist und einige potenzielle Probleme enthält. In dieser Magisterarbeit werden diese Probleme behandelt, indem eine Compiler-Frontend für eine Teilmenge der Sprache, genannt VooDo Kern, implementiert wird, als Proof of Concept und Basis für weitergehende Arbeit. Die Implementierung zeigt, dass die eigentlichen Schwierigkeiten nicht in der Typüberprüfung, sondern in den grundlegenden Bereichen, insbesondere Namensauflösung und Zyklensuche, zu finden sind. |
| Status | Verfügbar |