Browse thread
2 contribs: splay trees and otags
- Jean-Francois Monin
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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" http://caml.inria.fr/hump.html. 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. ===[translation]=== 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 http://caml.inria.fr/hump.html#datastr 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 http://caml.inria.fr/hump.html#emacs -- 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 SANS TRAIT D'UNION : JeanFrancois.Monin@cnet.francetelecom.fr