From: Beman Dawes (bdawes_at_[hidden])
Date: 2003-11-04 13:11:43
At 12:40 PM 11/3/2003, E. Gladyshev wrote:
>--- David Abrahams <dave_at_[hidden]> wrote:
>> Have you read the analysis section of
>> The guarantees are abstractions which help you to reason about program
>> behavior hiding irrelevant details and highlighting important ones.
>Yes, I have. It is a great starting point.
>> I think you should check out discussions of invariants in literature,
>> e.g. Bertrand Meyer's discussions of Eiffel. Then come back and
>> think of exception-safety in that context.
>Thanks for the references. Is it a book?
Yes. "Object-Oriented Software Construction" by Bertrand Meyer. ISBN:
Although the Eiffel language itself never had much market penetration, this
book had a tremendous influence on C++ and other programmer's thinking
about invariants, preconditions, postconditions, and similar reasoning
about objects and programs.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk