To gcc steering committee

To gcc steering committee

[xing xing]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset=gb2312; format=flowed, Size: 385 bytes --]

Hello gcc steering committe:

  Is gcc steering committe intrested in add a verification component to 
gcc, as software verification technology plays a fast-developing area to 
guarantee software reliability.

Neil

_________________________________________________________________
ÓëÁª»úµÄÅóÓѽøÐн»Á÷£¬ÇëʹÓà MSN Messenger:  http://messenger.msn.com/cn  

Re: To gcc steering committee

[Joe Buck]

On Fri, Nov 26, 2004 at 04:51:02PM +0800, xing xing wrote:
> Hello gcc steering committe:
> 
>   Is gcc steering committe intrested in add a verification component to 
> gcc, as software verification technology plays a fast-developing area to 
> guarantee software reliability.

Can you be more specific about what you mean?  Are you thinking of
something along the lines of Dawson Engler's work, or the Microsoft
SLAM project?

http://metacomp.stanford.edu/
http://research.microsoft.com/slam/

In any case, technical evaluation of any proposed new features happens
on this list.  The SC has to decide whether to accept features that take
GCC in a new direction, but that would come later.