Na afloop van deze cursus kunnen de deelnemers:
- Berekeningen in functionele talen modelleren met behulp van herschrijfsystemen (termherschrijfsystemen, lambda-calculus). Berekeningen in herschrijfsystemen analyseren, bijvoorbeeld confluentie- en terminatiegedrag.
- Alternatieve state- en geheugenmodellen aangeven voor het modelleren van imperatieve talen.
- Semantiek van een taal uit de praktijk modelleren. Daarvoor geschikte technieken selecteren en deze zo nodig enigszins uitbreiden. Hiermee een case-study uitvoeren. De resultaten op professionele wijze rapporteren en tegenover collega-semantici verantwoorden.
|
|
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.
|
|