Master thesis

markus keller

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

Markus Keller

Catching CATs - Towards a fully typesafe Eiffel



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)