Re: [sc] compiler and scripting language validation



Re: [sc] compiler and scripting language validation

From: Peter B. Ladkin ^lt;ladkin@xxxxxx>
Date: Wed 12 Apr 2006 - 14:33:07 BST
Message-ID: <443D0193.3080607@xxxxxx>
I concur in general with Derek's description of what "validating a compiler"
is supposed to mean. The question is what it might bring you.

I think there is substantial opinion, if not consensus, that the only 
common language
for which there is available a half-way decent validation suite is Ada.

For a bunch of reasons why a validation suite for a C compiler cannot
tell you much, see Les Hatton's book Safer C. Maybe also various papers 
on his
WWW site. For a couple of general, but unanswerable, reasons why
"validating" a C compiler doesn't help with the main problems in using C,
see Peter Amey's slides IEC 61508-conformant Software Development
With Spark, on the Bieleschweig Workshops WWW site (5th Bieleschweig
Workshop, April 2005). Peter's comments apply mutatis mutandis to other 
languages
with similar features.

PBL

-- 
Peter B. Ladkin, Professor of Computer Networks and Distributed Systems,
Faculty of Technology, University of Bielefeld, 33594 Bielefeld, Germany
Tel+msg +49 (0)521 880 7319  www.rvs.uni-bielefeld.de
Received on Wed Apr 12 14:32:59 2006