Proof-Transforming Compilation of Eiffel Contracts Diploma Thesis By: Hasan Karahan Supervised by: Martin Nordio Prof. Bertrand Meyer Student Number: 02-908-887