Affiliation:
1. Massachusetts Institute of Technology, Cambridge, MA
Abstract
We present a system that accepts a specification of key data structure consistency constraints, then dynamically detects and repairs violations of these constraints, enabling the program to continue to execute productively even in the face of otherwise crippling errors. Our experience using our system indicates that the specifications are relatively easy to develop once one understands the data structures. Furthermore, for our set of benchmark applications, our system can effectively repair inconsistent data structures and enable the program to continue to operate successfully.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference28 articles.
1. Center-tracon automation system. http://www.ctas.arc.nasa.gov/.]] Center-tracon automation system. http://www.ctas.arc.nasa.gov/.]]
2. Ownership types for safe programming
3. Automatic generation of production rules for integrity maintenance
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantic Code Refactoring for Abstract Data Types;Proceedings of the ACM on Programming Languages;2024-01-05
2. Automatic Repair and Deadlock Detection for Parameterized Systems;Form Comp Aid Design;2022
3. A Literature Review on Automated Code Repair;Proceedings of the 2nd International Conference on Recent Trends in Machine Learning, IoT, Smart Cities and Applications;2022
4. Debug-localize-repair: a symbiotic construction for heap manipulations;Formal Methods in System Design;2021-11
5. Synthesizing data structure refinements from integrity constraints;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18