Research Work Carried Out by Students (Bick05)

Joachim Bickel.
Implementation of the VooDo Kern Programming Language.
Theses, Institute of Computer Languages, Vienna University of Technology, 2005.

Abstract:

VooDo is an experimental object-oriented programming language containing a large variety of features, mostly concerning the type system. This includes multiple inheritance, modules that support inheritance, generic types, and so-called distributed options, which are the key feature new to VooDo compared to other ob ject-oriented languages. Options allow a compiler to statically check synchronization constraints. It is to be assumed that the implementation of the VooDo type system is quite complex and includes a number of potential problems. In this thesis we address these problems by implementing a compiler frontend for a subset of the language, called VooDo Kern, as a proof of concept, and to provide a basis for further work. The implementation shows that the actual difficulties are not in type checking itself, but rather in more basic parts, especially name resolution and cycle detection.

Theses

@MastersThesis{Bick05,
  author  = {Joachim Bickel},
  title   = {Implementation of the {VooDo} Kern Programming Language},
  school  = {Institute of Computer Languages, Vienna University of Technology},
  address = "Vienna, Austria",
  year    = 2005,
  url     = {http://www.complang.tuwien.ac.at/Diplomarbeiten/bickel05.pdf}
}