Re: Proving Correctness (was Java Portability)

[Mike@xx <Mike_member@newsguy.com>]

In article <dVsb7.5035$2i4.5346431@nnrp6.proxad.net>, "nicolas" says...
>
 
>I would expect an Ada library to be tested at least against
>
>Gnat public version
>Aonix Objectada
>Rational Apex
>
>and obviously on
>
>Windows ...
 
The Ada standard library development model is not up to the modern times.

Look at how Sun manages Java. They have reqular releases of an updated 
Java (mostly in the standard libraries). This is how Ada should work. Ada
standard libraries should be updated with more packages all the time. 

Without a more powerfull and rich Ada standard library, Ada will not be used
as much as it could. If the XML library was part of the Ada standard, then
all compilers will have be shipped with it and support it. (Java JDK 1.4
for example, added more Java XML standard packages).

The problem with Ada is there there is no one big company or an
organization behind it. lets see:

Java/IBM/Borland --> Java
MS --> C++, VB, C#
Borland --> Delphi, Kylix
??? --> Ada

Defence used to be the big one "taking care" of Ada, and it dropped it. So, now
we need someone else. 

Ada standard libraries must be enhanced and extended for Ada to grow. 

just my 2 cents.....