An introduction to E-LOTOS
Introduction à E-LOTOS
Résumé
Cette annexe a pour but de présenter les élémentsprincipaux du langage ISO E-LOTOS, qui est une révision du langage ISOLOTOS. Les améliorations apportées par E-LOTOS sont entre autres :la modélisation du temps, un sysème de modules, des types dedonnées fonctionnels, la gestion d'exceptions, la présence deconstructions impératives, et quelques nouveaux opérateurs ouextensions d'opérateurs. E-LOTOS est présenté en deux parties :le langage de base et le langage des modules.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...