Re: where exactly c++,c fail and Ada gets thru'
- From: "Rod Chapman" <rod.chapman@xxxxxxxxxxxxxx>
- Date: 24 Apr 2006 01:13:09 -0700
Ananth the Boss wrote:
can any one give some more justifications for telling "ADA is safe" thanks
in advance
Have you considered the SPARK Ada subset? Read chapters 1-3 of the
SPARK
textbook - that will give you a very good idea of the issues involved
in the design
of high-integrity languages.
- Rod, SPARK Team, Praxis
.
- References:
- where exactly c++,c fail and Ada gets thru'
- From: Ananth the Boss
- where exactly c++,c fail and Ada gets thru'
- Prev by Date: Re: Q: Index value in case of Ada.Streams.Stream_IO.End_Error
- Next by Date: Re: n versioning is there any other better approach
- Previous by thread: Re: where exactly c++,c fail and Ada gets thru'
- Next by thread: Re: where exactly c++,c fail and Ada gets thru'
- Index(es):
