Formele functionele talen : studie naar de geschiktheid van functionele programmeertalen voor systemen voor dynamisch verkeersmanagement

Eerst worden in algemene termen de voordelen van formeel specificeren en van functioneel programmeren besproken. Vervolgens wordt een concreet voorbeeld beschreven van een systeem voor dynamisch verkeersmanagement, ontwikkeld in de functionele programmeertaal Clean. Het voorbeeld is gebaseerd ...