TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Classic View

Use Proportional Font
Show HTML Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Mime-Version: 1.0
Sender: "Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
From: "S. Ron Oliver" <[log in to unmask]>
Date: Mon, 12 Nov 2001 06:03:24 -0700
In-Reply-To: <[log in to unmask]>
Content-Type: text/plain; charset="us-ascii"; format=flowed
Reply-To: "S. Ron Oliver" <[log in to unmask]>
Parts/Attachments: text/plain (22 lines)
At 11:06 AM 11/8/01 +0000, Simon Wright wrote:
. . .

>Basically, the subset of Ada that you[1
>pretty much have to use to get independent certification for
>high-criticality software doesn't include exceptions, or tasking, or
>. (name other interesting feature!).

You need to check into recent developments with SPARK.  I don't remember
the details, but this year at SIGAda 2001 they announced some substantial
increases in the size of the SPARK subset.  I don't think the include
tasking, yet, but they indicated they are moving in that direction.


S. Ron Oliver, semi-retired professor of Computer Science and Computer

caress Corporation is proud to be the U.S. representative for Top Graph'X,
developers of high quality software components, using Ada.  For more
information, check out