Conteneurs de première classe en Coq

Stéphane Lescuyer 1, 2
2 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
Résumé : Nous présentons une bibliothèque Coq d'ensembles et de dictionnaires finis qui reproduit les fonctionnalités disponibles dans la bibliothèque existante FSets/FMaps mais où la généricité des structures est obtenue via des classes de types et non des modules. Cette architecture permet un usage simplifié de ces structures et facilite la programmation d'algorithmes complexes en Coq.
Type de document :
Communication dans un congrès
Journées Françaises des Langages Applicatifs, Jan 2010, La Ciotat, France. 2010
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00535659
Contributeur : Stéphane Lescuyer <>
Soumis le : vendredi 12 novembre 2010 - 11:56:37
Dernière modification le : jeudi 5 avril 2018 - 12:30:08
Document(s) archivé(s) le : vendredi 26 octobre 2012 - 15:30:47

Fichier

lescuyer.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00535659, version 1

Collections

Citation

Stéphane Lescuyer. Conteneurs de première classe en Coq. Journées Françaises des Langages Applicatifs, Jan 2010, La Ciotat, France. 2010. 〈inria-00535659〉

Partager

Métriques

Consultations de la notice

175

Téléchargements de fichiers

130