Onderwerpen

Semantiek van imperatieve talen

• structurele operationele semantiek
• parallellisme
• nondeterminisme
• scope
• procedure-evaluatie
• recursie

Specificatieformalismen

• JML
• tools

Lambda-calculus

• bèta-reductie
• confluentie
• normalisatie
• representatie berekenbare functies
• typering
• unificatie

Semantiek van logische talen

• resolutie

Axiomatische systemen

• onvolledigheid
• beslisbaarheid