Berekeningsmodellen (IBC025) - voorjaar 2016

Welkom!

In deze cursus maak je kennis met berekeningsmodellen voor functionele programmeertalen. Deze berekeningsmodellen dienen als basis voor implementaties van zulke talen, en komen ook van pas bij het analyseren van het gedrag van functionele programma's.

Verder leer je alternatieve semantische modellen te kiezen bij het vastleggen van semantiek van imperatieve talen. Je past dit toe op een taal uit de praktijk. Dit gedeelte bouwt voort op de cursus Semantiek en Correctheid.