Re: Bug rate and choice of programming language

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Tue, 10 Aug 2010 22:53:25 +0200, Phil Thornley  
<phil.jpthornley@gmail.com> a écrit:
> Automatically generated code was found to have considerably reduced
> syntactic and data flow errors."
This one is good to know. I was wondering about it these last few days  
(was also wondering about a good choice to generate this, may be a script  
language). Sometime, automatically generated sources seems difficult to  
avoid, even when one do not really enjoy the idea of preprocessor (may be  
some resilient fears due to older bad experiences with C). This may  
happens when an application has multiple parts using different languages  
or representations, and in the mean times must have some of their parts  
synchronized in some way. Ex. an application with an Ada or Pascal part,  
and HTML pages, and some JavaScript parts ; all with references to some  
kind of protocols, identifiers, standard data which may need to be  
changed, etc. Different worlds, which may refer to common stuffs. This is  
probably better when these dependencies are handled via automatic source  
generation using a single data source.

I was wondering about reliability of automatically generated parts. Your  
comment is interesting in this area.

-- 
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.