Master thesis

markus keller

Type of project:
Diplomarbeit 10 March 2003 - 09 July 2003

Author:
Markus Keller

Title:
Catching CATs - Towards a fully typesafe Eiffel

 

Description

Description: (See project plan for more information) I'm investigating on possibilities to make Eiffel fully typesafe. My report will analyze the problems with catcalls and approaches to fix the issue. In parallel, I'll create a testbed for checking Eiffel programs against different static type checking policies.

Project plan (PDF)

Diploma thesis (PDF)

Presentation slides (PDF)