Verifying Well-Typedness Preservation of Refactorings using Scope Graphs

The goal of automated refactoring is to reduce maintenance effort. To realize this, programmers need to be able to trust or manually check that refactorings actually preserve behavior. To allow programmers to focus on such checks, automated refactorings should preserve program well-typedness. However, historically automated refactorings in...

Robot Block-Based Programming: Teaching children how to program an interactive robot using block-based programming language

Robots play an increasingly large role in society and some material already exists that allows children to program robots in elementary school. However, this material often neglects the interactive capabilities of modern robots. The aim of this project is to teach children how to write interactive programs for a robot. For this purpose, a NAO...