Précédent : Structures fondamentales de calcul Remonter : Structures fondamentales de calcul Suivant : Arbres de Böhm rationnels

Zippers

Participant : Gérard Huet

Les ``zippers'' sont des structures de données applicatives permettant la représentation de structures mutables, avec accès et mutation en temps constant. Il y a une manière uniforme de transformer la signature d'une algèbre libre en l'algèbre de ``zippers'' correspondante. Ce travail peut servir de base à la conception d'un éditeur structuré de structures arborescentes, l'espace de navigation et d'édition étant le zipper approprié.

Ce travail a donné lieu à présentation à la conférence invitée plénière commune aux conférences LICS et RTA, dans le cadre du congrès fédérateur FLoC'96, à New-Brunswick (NJ) en juillet 1996 et fait l'objet d'un article à paraître [5].