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 op een bestaand systeem, de 'Hungarian Case', dat geschreven is in de special purpose taal FLEXCOL.
- Datum rapport
- 1 januari 1997
- Auteur
- High Level Software Tools (HILT); P.W.M. Koopman
- Uitgever
- Ministerie van Verkeer en Waterstaat, Rijkswaterstaat, Adviesdienst Verkeer en Vervoer (RWS, AVV).
- Annotatie
-
66 p. ill. Project AOID 97.030. - Met lit. opg. Onderzoek in opdracht van het Ministerie van VenW, RWS, AVV Projectbegeleiding E.A.M. Scheerder
- Documentnummer
- 73371