Re: Proving Correctness (was Java Portability)

["nicolas" <n.brunot@cadwin.com>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2055 bytes --]

"Jacob Sparre Andersen" <sparre@nbi.dk> a �crit dans le message news:
3B695521.54BBF4D3@nbi.dk...
> Nicolas:
>
> > Everybody knows what popular languages compilers provide
>
> I am not sure I do, but I will try to make a list and guess
> which things you consider important. I work on Digital Unix
> and Linux systems.

Well I certainly exagerated.
What I meant actually is that Windows and Mac are likely to be the only
platforms where one can really figure out, how high are the requirements of
interactivity and ease of use for software users.

You don't really have a high level user interface for embedded systems.
HP Sun Irix and others unixes are extremely rare for workstations
Linux is still not really ready for a PC you can buy in a supermarket.
For example I think that RH 7.1 is a regression regarding RH 7.0
(XConfigurator or Linuxconf are likely to ruin your system without any
warning)
Talking about XConfigurator, any method to configure your screen (colors,
resolution etc ...)  under Linux is totally unacceptable for a Mac or
Windows user.

In fact what you need is not so complicated to define.
Choose some small application where graphical user interface is important.
Try to develop it a C/C++  version
Try to develop a Java version
Try to develop an Ada version

Anything you have to look for in Ada, and you don't have to look for in Java
or C is definitely something which must be corrected.

>  * Ada     - the standard libraries and some vendor
> dependent stuff (GNAT.*)
>
>  * Basic          - don't know
>  * C              - the standard libraries
>  * C++            - the standard libraries
>  * COBOL          - don't know
>  * Fortran        - the standard libraries
>  * Java           - don't know
>  * Borland Pascal - integrated GUI builder and DB builder,
> no _standard_ libraries

Let 's be honest, real competition is with C, C++ and Java
Despite its qualities, Ada has a lot of problem to be accepted in front of
those languages
Things are likely to be far worse in front of C# if it does what it says.