Sebastian Schloßer

"Interactive Semantics for the Course "Fundamentals of Programming""

In the course "Fundamentals of Programming" we teach first year bachelor's students a multi paradigm programming language in a very systematic way: We introduce one language feature after another and for each define its syntax, static semantics (typing), and dynamic semantics (evaluation). The students often have problems understanding or writing down definitions in a very formal way. But this is crucial for many aspects of computer science. As part of my PhD, I develop two different tools assisting teaching. The first one provides an intuitive way to construct proof trees on the computer, such that both students and teachers avoid frustration: the former no longer need to squeeze proof trees on sheets of paper, the latter no longer need to seek the mistakes. The second tool motivates using a formal semantics in practice by automatically inferring parts of the program and guiding the programmer.

Termin als Datei downloaden und in den Kalender importieren.