Re: Faulty languages and Liability

[Kilgallen@SpamCop.net (Larry Kilgallen)]

In article <3D0F91D3.87CDBDF7@NOSPAM.visteon.com>, John Kern <jkern3@NOSPAM.visteon.com> writes:
> 
> 
> Larry Kilgallen wrote:
> 
>> 
>> No rational person is going to haul you into court because you use C++.
>> Somebody who hauls you into court because your software blew up may
>> bring up the issue of language as _one_ of a series of issues regarding
>> the reliability of your development process.  I presume that if they
>> say you didn't use Ada, you will also didn't use plain C.  Presumably
>> you will also show that you were not programming in C using a compiler
>> that happened to be a C++ compiler.
>> 
> I could see being attacked for not using a "validated" compiler.  Are
> there any validated C or C++ compilers?  I wouldn't know.  Are the
> languages standardized enough to allow a validation suite?

In a real court case, issues of compiler validation would likely not
have any bearing unless it can be shown the compiler in question made
an error that would have been caught by a validated compiler.