LIP6 2005/011
- Rapports de recherche
Une nouvelle extension de ML avec des traits orientés objets de FOCAL - S. Fechter
- 39 pages - 20/12/2005- document en - http://www.lip6.fr/lip6/reports/2005/lip6-2005-011.pdf - 692 Ko
- Contact : stephane.fetcher (at) nulllip6.fr
- Ancien Thème : SPI
- Mots clés : langage orienté objet, librairies certifiées, sémantique, abstraction, système de types, sûreté du typage, espèces, collections, type support
- Directeur de la publication : Thierry.Lanfroy (at) nulllip6.fr
L'atelier FOCAL propose un ensemble d'outils pour concevoir des librairies
certifiées. Ce langage propose deux constructions : les espèces et les collections. Une espèce déclare ou définie une représentation de données, à savoir le support, et spécifie ou implémente des algorithmes travaillant sur cette représentation de données. La construction d'espèces est obtenue à partir de traits objets : multi-héritage, redéfinition, liaison retardée, paramétrisation par des collections. Vers le haut d'une hiérarchie d'espèces, le support et les fonctions sont déclarées. Vers le bas, le support et les fonctions sont définis et chaque propriété est prouvée. Une telle espèce est dite complète. Une collection est obtenue à partir d'une espèce complète par abstraction de son type support et de ses définitions. Dans ce papier, on formalise les aspects opérationnels des traits orientés objet de FOCAL.
On présente le modèle FML, une extension de ML avec les notions d'espèces et de collections. On propose un système de types, une sémantique opérationnelle et on montre la sûreté du typage.
certifiées. Ce langage propose deux constructions : les espèces et les collections. Une espèce déclare ou définie une représentation de données, à savoir le support, et spécifie ou implémente des algorithmes travaillant sur cette représentation de données. La construction d'espèces est obtenue à partir de traits objets : multi-héritage, redéfinition, liaison retardée, paramétrisation par des collections. Vers le haut d'une hiérarchie d'espèces, le support et les fonctions sont déclarées. Vers le bas, le support et les fonctions sont définis et chaque propriété est prouvée. Une telle espèce est dite complète. Une collection est obtenue à partir d'une espèce complète par abstraction de son type support et de ses définitions. Dans ce papier, on formalise les aspects opérationnels des traits orientés objet de FOCAL.
On présente le modèle FML, une extension de ML avec les notions d'espèces et de collections. On propose un système de types, une sémantique opérationnelle et on montre la sûreté du typage.