Modules Objets et Calcul Formel - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1999

Modules Objets et Calcul Formel

Sylvain Boulmé
  • Fonction : Auteur
  • PersonId : 1014472
Thérèse Hardin
  • Fonction : Auteur
  • PersonId : 858297
Renaud Rioboo
  • Fonction : Auteur
  • PersonId : 966166

Résumé

Le langage Ocaml propose des classes et des modules très élaborés. Ces deux paradigmes apportent tous deux des facilités de décomposition, d'abstraction, etc. relativement proches. Cette richesse peut laisser le programmeur perplexe, lorsqu'il s'agit de choisir la manière d'implanter une spécification un peu complexe. Nous avons entrepris le développement (en Ocaml) d'un environnement de programmation certifiée pour le calcul formel. Nous présentons dans cet article les étapes d'élaboration de notre propre méthodologie, qui marie objets et modules dans un style peu conventionnel. Nous expliquons en quoi la solution retenue nous permet de rendre compte au mieux de tous les aspects de notre spécification. Nous espérons ainsi apporter quelques éléments au débat modules/objets et montrer l'intérêt de certaines extensions des langages à base de modules ou de classes.
Fichier non déposé

Dates et versions

hal-01573964 , version 1 (11-08-2017)

Identifiants

  • HAL Id : hal-01573964 , version 1

Citer

Sylvain Boulmé, Thérèse Hardin, Renaud Rioboo. Modules Objets et Calcul Formel. JFLA'99 - Journées francophone des langages applicatifs, Feb 1999, Morzine-Avoriaz, France. ⟨hal-01573964⟩
30 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More