Vi presenterar ett system som accepterar en specifikation av viktiga datastruktur konsistens begränsningar, sedan dynamiskt upptäcka och reparera överträdelser av dessa begränsningar, vilket gör det möjligt för programmet att fortsätta att utföra produktivt även inför annars förlamande fel. Vår erfarenhet med vårt system indikerar att specifikationerna är relativt lätta att utveckla när man förstår datastrukturerna. Dessutom, för vår uppsättning av referensprogram, vårt system kan effektivt reparera inkonsekventa datastrukturer och göra det möjligt för programmet att fortsätta att fungera framgångsrikt.
Demsky m.fl. I REF presenteras ett språk för specifikationen av datastrukturinvarianter.
Automatic detection and repair of errors in data structures
{'venue': "OOPSLA '03", 'journal': None, 'mag_field_of_study': ['Computer Science']}