The design and evolution of C++
The design and evolution of C++
The C++ Programming Language
Strong exception-safety for Java-like languages
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs
A specification logic for exceptions and beyond
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Computer Science - Research and Development
Hi-index | 0.00 |
This paper presents a set of concepts and design techniques that has proven successful in implementing and using C++ libraries intended for applications that simultaneously require high reliability and high performance. The notion of exception safety is based on the basic guarantee that maintains basic invariants and avoids resource leaks and the strong guarantee that ensures that a failed operation has no effect.