Modules Objets et Calcul Formel

Sylvain Boulmé 1 Thérèse Hardin 1 Renaud Rioboo 2
1 SPI - Sémantiques, preuves et implantation
LIP6 - Laboratoire d'Informatique de Paris 6
2 CALFOR - Calcul formel
LIP6 - Laboratoire d'Informatique de Paris 6
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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01573964
Contributor : Lip6 Publications <>
Submitted on : Friday, August 11, 2017 - 11:14:36 AM
Last modification on : Thursday, March 21, 2019 - 1:01:05 PM

Identifiers

  • HAL Id : hal-01573964, version 1

Citation

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⟩

Share

Metrics

Record views

23