Boost logo

Boost :

Subject: Re: [boost] sorting library proposal (Was: Review Wizard Status Report for June 2009)o
From: Edouard A. (edouard_at_[hidden])
Date: 2009-06-03 10:57:06


>> What matters is that a reasonable degree of assurance regarding
>> correctness
>> and performance can be given. This concerns the library as a whole, not
>> just whatever algorithm(s) it may use.
>
> So how do we define "reasonable degree of assurance"?

Defining it would be like building Mathematics all over again... ;)

We can however agree on some guidelines I guess.

Actually, I think when a reviewer has got a doubt about the underlying
algorithm, he/she has got no choice but to carefully review the algorithm
itself.

Formality is a tool, not a goal.

-- 
EA

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