Master thesis
 |
 |
Type of project: Author: Title: |
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. |