Semantiek en Correctheid (IBC008) - voorjaar 2014

Welkom!

In deze cursus leer je formele methoden ontwikkelen en gebruiken in de informatica.

We bekijken formalismen om de betekenis (operationele semantiek) van zowel imperatieve als functionele programmeertalen nauwkeurig vast te leggen. Deze technieken worden toegepast bij het ontwerpen van programmeertalen en het toevoegen van nieuwe taalconstructies. Verder komen ze van pas bij het analyseren van het gedrag van programma's.

Als informaticus zul je formele methoden niet alleen toepassen, maar ook zelf formalismen moeten beoordelen, uitbreiden of ontwikkelen. Daarom gaat deze cursus ook over de eigenschappen van de formele systemen zelf: de metatheorie.