Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
2 contribs: splay trees and otags
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Francois Monin <JeanFrancois.Monin@c...>
Subject: 2 contribs: splay trees and otags
Deux contributions ont ete mises dans la "bosse"

La premiere est une bibliotheque pour arbres evases (arbre ordonnes
binaires, ou les elements souvent accedes sont pres de la racine).
Il s'agit ici d'une version mutable.

La seconde (faite avec Cuihtlauac Alvarado) est un utilitaire de
generation de tags pour Emacs prenant en compte tous les identificateurs,
y compris les constructeurs de type somme et les champs de records.
Elle contient egalement un concatenateur des fichiers de tags gerant
les chemins de maniere coherente avec l'arborescence des repertoires.


Two contribs have been added in the hump.

The first one is a library for mutable splay trees. (Splay trees, due
to Sleator and Tarjan, are ordered binary trees where often accessed
items are near the root.) The algorithm has excellent
(amortized) complexity. It is available from

The second one (Cuihtlauac Alvarado and myself) is an Emacs tag
generator for Ocaml source files, working also with syntaxes extended
with Camlp4. It handles all identifier, including sum constructors and
record fields. It also includes cattags, which catenates tags files in
a way consistent with the directory structure.  It is available from

Jean-Francois Monin, CNET DTL/MSV,          Tel +33 2 96 05 26 79
2 av. Pierre Marzin, 22307 Lannion, France  Fax +33 2 96 05 39 45