Results 11 -
11 of
11
Une Table d’Association d’Intervalles
"... ABSTRACT. This article describes an efficient persistent mergeable data structure for mapping intervals to values. We call this data structure rangemap. We provide an example of application where the need for such a data structure arises (abstract interpretation of programs with pointer casts). We d ..."
Abstract
- Add to MetaCart
ABSTRACT. This article describes an efficient persistent mergeable data structure for mapping intervals to values. We call this data structure rangemap. We provide an example of application where the need for such a data structure arises (abstract interpretation of programs with pointer casts). We detail different solutions we have considered and dismissed before reaching the solution of rangemaps. We show how they solve the initial problem. We then describe their implementation and, as a conclusion, mention further work we would like to do. RÉSUMÉ. Cet article décrit une structure de données représentant efficacement des tables d’associations persistantes indexées par des intervalles, ayant la propriété supplémentaire d’être fusionnable. Nous nommons (en anglais) rangemap cette structure de données. Nous donnons un exemple de circonstances dans lesquelles se rencontre le besoin d’associer de cette façon des valeurs à des intervalles (analyse par interprétation abstraite de programmes comportant des conversions de pointeurs). Nous détaillons différentes solutions envisagées puis écartées avant d’arriver à la solution des rangemaps. Nous montrons ensuite comment ceux-ci résolvent le problème initial. Enfin, nous décrivons leur implémentation avant d’évoquer les travaux en cours et futurs que nous nous proposons de mener à ce sujet.

