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)
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 evaluations