The application of Programming Languages research and Human-computer Interaction to the creation of usable and useful programmer tools.
Credit points: 3.0
Required courses: 236360 - Theory Of Compilation (CANNOT be taken in parallel)
Please notice, this year this class is not a project for your degree requirements.
There will be 4 assignments during the semester and a final assignment due after exams.
Topics:
- Programming languages and their editors
- Program synthesis
- Abstract interpretation and testing
- User-centered design
- Cognitive models of programming
- Empirical and user-based evaluations
- Ethics of user-based evaluation