Alexandre Bergel <bergel at iam.unibe.ch> wrote:
> Hello Goran!
> 
> > There have been at least one major investigation that (if my memory serves)
> > showed that only 3% of the errors that the developers made when developing a
> > system was found by the compiler using static type checking. I would guess that
> > the overhead of maintaining that static type system in the code took much more
> > time than it was worth.
> 
> Where did you get this value of 3%? Is there any paper which describe this experiment?

Unfortunately I can't seem to find that report anywhere on the net. It
was a long time ago. Sorry for mentioning something that I have no
source for. :-) I think it was some kind of report from EDS, but I am
not sure at all.

regards, Göran