3 Jun
2009
3 Jun
'09
2:57 p.m.
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