| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422847 | Electronic Notes in Theoretical Computer Science | 2007 | 4 Pages |
Abstract
We present a set of automated techniques that enable software systems to survive otherwise fatal errors such as memory leaks, infinite loops, and addressing errors.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
