Boost :

Date view	Thread view	Subject view	Author view

From: Alan Griffiths (boost_at_[hidden])
Date: 2000-08-12 02:17:49

Next message: John Maddock: "[boost] Problem with type_traits.hpp"
Previous message: Mark Rodgers: "Re: [boost] Problem with type_traits.hpp"
In reply to: Kevlin Henney: "Re: Re: A simple monitor for Boost"
Next in thread: Ian Bruntlett: "OCR errors in Hoare's monitor paper."

In message <qyVjwQArQ4k5Ew66_at_[hidden]>, Kevlin Henney
<kevlin_at_[hidden]> writes
>> From: Alan Griffiths <boost_at_[hidden]>
>>There seem to be two approaches developing...
>
>I had assumed that we were taking both approaches.

Implicit assumptions during analysis are a major source of errors. Glad
we're on the same wavelength.

-- 
Alan Griffiths  (alan_at_[hidden])  http://www.octopull.demon.co.uk/
ACCU Chairman   (chair_at_[hidden])             http://www.accu.org/

Next message: John Maddock: "[boost] Problem with type_traits.hpp"
Previous message: Mark Rodgers: "Re: [boost] Problem with type_traits.hpp"
In reply to: Kevlin Henney: "Re: Re: A simple monitor for Boost"
Next in thread: Ian Bruntlett: "OCR errors in Hoare's monitor paper."

Date view	Thread view	Subject view	Author view

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk