|
Boost : |
From: E. Gladyshev (egladysh_at_[hidden])
Date: 2003-11-03 12:40:07
--- David Abrahams <dave_at_[hidden]> wrote:
[...]
> Have you read the analysis section of
> http://www.boost.org/more/generic_exception_safety.html?
>
> 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?
Eugene
__________________________________
Do you Yahoo!?
Exclusive Video Premiere - Britney Spears
http://launch.yahoo.com/promos/britneyspears/
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk