Onderwerpen
Semantiek van imperatieve talen en constructies
- expressie-evaluatie
- natuurlijke semantiek
- structurele operationele semantiek
- scope
- recursie
- procedure-evaluatie
- semantische equivalentie
Correctheid van programma's
- axiomatische semantiek
- specificaties
- Floyd-Hoare calculus