Détection automatique et réparation des erreurs dans les structures de données

Nous présentons un système qui accepte une spécification des contraintes de cohérence clés des structures de données, puis détecte et répare dynamiquement les violations de ces contraintes, permettant au programme de continuer à s'exécuter de manière productive même face à des erreurs autrement paralysantes. Notre expérience avec notre système indique que les spécifications sont relativement faciles à développer une fois que l'on comprend les structures de données. De plus, pour notre ensemble d'applications de référence, notre système peut efficacement réparer les structures de données inconsistantes et permettre au programme de continuer à fonctionner avec succès.