Onderwerpen
-
Semantiek van functionele talen en constructies: termherschrijven,
normalisatie, confluentie, lambda-calculus, reductie, representatie
berekenbare functies
-
Semantiek van imperatieve talen en constructies: abrupte terminatie,
state, executiemodellen