Gagner en passant à la corde

Jean-Christophe Filliâtre 1
1 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é : Cet article présente une réalisation en OCaml de la structure de cordes introduite par Boehm, Atkinson et Plass. Nous montrons notamment comment cette structure de données s'écrit naturellement comme un foncteur, transformant une structure de séquence en une autre structure de même interface. Cette fonctorisation a de nombreuses applications au-delà de l'article original. Nous en donnons plusieurs, dont un éditeur de texte dont les performances sur de très gros fichiers sont bien meilleures que celles des éditeurs les plus populaires.
Type de document :
Communication dans un congrès
JFLA (Journées Francophones des Langages Applicatifs), Jan 2008, Etretat, France. pp.139-152, 2008
Liste complète des métadonnées

https://hal.inria.fr/inria-00202841
Contributeur : Sandrine Blazy <>
Soumis le : mardi 8 janvier 2008 - 12:04:37
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14
Document(s) archivé(s) le : mardi 13 avril 2010 - 16:41:24

Fichier

filliatre.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00202841, version 1

Collections

Citation

Jean-Christophe Filliâtre. Gagner en passant à la corde. JFLA (Journées Francophones des Langages Applicatifs), Jan 2008, Etretat, France. pp.139-152, 2008. 〈inria-00202841〉

Partager

Métriques

Consultations de la notice

202

Téléchargements de fichiers

73