Automated Fixing in EiffelStudio
Demonstration of EiffelStudio functionality to infer missing types in local declarations, to detect unused local variables and to fix source code on user request automatically (by Alexander Kogtenkov, Senior Software Engineer)