comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2001-08-07 01:09:02 to 2001-08-08 18:03:10 UTC [more...]

An Ada IDE and discussions
 2001-08-08 18:03 UTC  (84+ messages)
` Java portability
      ` Proving Correctness (was Java Portability)
                                          ` Ada Components "
                                        ` More Uniform Ada libraries (was: Proving Correctness)

Ada Idioms Progress Preview
 2001-08-08 18:03 UTC  (9+ messages)

pointer in C & in Ada
 2001-08-08 18:03 UTC  (13+ messages)

Ada (was Rival JSF teams fly final STOVL flights with flair, highlight strengths)
 2001-08-08 17:58 UTC  (9+ messages)

ASIS-FOR-GNAT, anyone?
 2001-08-08 17:08 UTC  (2+ messages)

How to make Ada a dominant language
 2001-08-08 14:47 UTC  (123+ messages)
        ` The concept of := (was How to make Ada a dominant language)
          ` How Ada could have prevented the Red Code distributed denial of service attack
                  ` How Ada could have prevented the Red Code distributed denial ofservice attack
                        ` How Ada could have prevented the Red Code distributed denial of
                        ` A Directory package for Ada (was: How Ada could have prevented)

Data_Error - Where in this code?
 2001-08-08 13:08 UTC  (4+ messages)

"with" and "use"
 2001-08-08 10:25 UTC 

SPARK
 2001-08-08  9:46 UTC 

Ada Components
 2001-08-08  9:07 UTC  (5+ messages)

What happens to DEC Ada?
 2001-08-08  1:06 UTC  (10+ messages)

"with" and "use"
 2001-08-07 23:44 UTC 

ADA for OS/2
 2001-08-07 22:45 UTC  (14+ messages)
          ` Ada "

How to make Ada a dominant language
 2001-08-07 21:33 UTC 

OA SE observations
 2001-08-07 21:26 UTC 

Ada.Streams.Read Length Paramenter is not IN?
 2001-08-07 20:21 UTC  (5+ messages)

OA SE observations
 2001-08-07 16:41 UTC  (2+ messages)

ada newbie
 2001-08-07 16:09 UTC  (2+ messages)

How Ada could have prevented the Red Code distributed denial of service attack
 2001-08-07 14:45 UTC 

SPARK
 2001-08-07 14:42 UTC  (5+ messages)

Tasking example
 2001-08-07 14:31 UTC 

GNAT compiling problems on ME
 2001-08-07 14:23 UTC  (5+ messages)

Detecting NaN
 2001-08-07 14:16 UTC  (5+ messages)

efficient vector/matrix operations in Ada
 2001-08-07 11:36 UTC 

efficient vector/matrix operations in Ada
 2001-08-07  3:04 UTC  (4+ messages)

Long names are doom ?
 2001-08-07  2:38 UTC  (16+ messages)
          ` Market pressures for more reliable software


This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox