Brian Demsky Massachusetts Institute of Technology Martin Rinard...  @ NUS Home/Search
Context
Related
| mit.edu/~rinard/te...TCSAILTR950.pdf Cached: PS.gz PS PDF Image Update Help From: mit.edu/~rinard/techreport/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Model-based data structure repair is a promising technique for enabling programs to continue to execute successfully in the face of otherwise fatal data structure corruption errors. Previous research in this field relied on the developer to write a specification to explicitly translate model repairs into concrete data structure repairs, raising the possibility of 1) incorrect translations causing the supposedly repaired concrete data structures to be inconsistent, and 2) repaired models with no ... (Update)
Similar documents (at the sentence level):
7.1%: Automatic Detection and Repair of Errors in Data Structures - Demsky, Rinard (2002) (Correct)
6.7%: Automatic Detection and Repair of Errors in Data - Structures Brian Demsky (Correct)
Active bibliography (related documents): More All
0.8: Static Specification Analysis for Termination of - Specification-Based Data.. (Correct)
0.3: Automatic Data Structure Repair for Self-Healing Systems - Brian Demsky Massachusetts (2003) (Correct)
0.3: Acceptability-Oriented Computing - Martin Rinard Mit (2003) (Correct)
BibTeX entry: (Update)
@misc{ massachusetts-data,
author = "Brian Demsky Massachusetts",
title = "Data Structure Repair Using Goal-Directed Reasoning",
url = "citeseer.comp.nus.edu.sg/707654.html" }
Citations (may not include all citations):901 Transaction Processing: Concepts and Techniques (context) - Gray, Reuter - 1993
270 Bandera : Extracting finite-state models from Java source co.. - Corbett, Dwyer et al. - 2000
146 Deriving production rules for constraint maintenance - Ceri, Widom - 1990
68 Algorithms for deferred view maintenance - Colby, Gri et al. - 1996
51 Esp: Path-sensitive program verification in polynomial time - Das, Lerner et al. - 2002
47 A system and language for building system-specific (context) - Hallem, Chelf et al. - 2002
45 Recursive restartability: Turning the reboot sledgehammer in.. - Candea, Fox - 2001
34 Automatic generation of production rules for integrity maint.. (context) - Ceri, Fraternali et al. - 1994
16 UC Berkeley Computer Science (context) - Patterson, computing et al. - 2002
16 Two application languages in software production - Ladd, Ramming - 1994
15 cient and precise datarace detection for multithreaded objec.. (context) - Choi - 2002
15 Auditdraw: Generating audits the FAST way - Gupta, Jagadeesan et al. - 1997
15 switching system: Maintenance capabilities (context) - Haugk, Lax et al. - 1985
13 Constraint analysis: A design process for specifying operati.. (context) - Urban, Delcambre - 1990
13 Automatic detection and repair of errors in data structures - Demsky, Rinard - 2003
10 reliability IBM MVXA operating system (context) - Andrews, reliability et al. - 1987
10 Modeling dynamic collections of interdependent objects using.. - Litman, Mishra et al. - 1997
7 Using rules in object-oriented designs (context) - Mishra, Ros et al. - 1996
4 A Constraint Imperative Programming Language (context) - Lopez, Implementation - 1997
4 Generating update constraints from PRL (context) - Gri, Trickey et al. - 1992
3 Automatic data structure repair for self-healing systems - Demsky, Rinard - 2003
1 Static specification analysis for termination of specificati.. (context) - Demsky, Rinard - 2003
1 Incremental computation as a programming abstraction (context) - Hoover - 1992
Documents on the same site (http://catfish.csail.mit.edu/~rinard/techreport/): More
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (Correct)
A Combined Pointer and Purity Analysis for Java Programs - Salcianu, Rinard (2004) (Correct)
On Generalized Records and Spatial Conjunction in Role Logic - Kuncak, Rinard (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.