messages from 2001-08-07 05:14:53 to 2001-08-08 23:29:53 UTC [more...]
pointer in C & in Ada
2001-08-08 23:29 UTC (14+ messages)
How to make Ada a dominant language
2001-08-08 23:13 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 of
` A Directory package for Ada (was: How Ada could have prevented)
An Ada IDE and discussions
2001-08-08 21:36 UTC (88+ messages)
` Java portability
` Proving Correctness (was Java Portability)
` Ada Components "
` More Uniform Ada libraries (was: Proving Correctness)
Wraparound on multiply overflow
2001-08-08 21:16 UTC
Ada (was Rival JSF teams fly final STOVL flights with flair, highlight strengths)
2001-08-08 20:21 UTC (10+ messages)
What happens to DEC Ada?
2001-08-08 20:12 UTC
SPARK
2001-08-08 20:04 UTC (2+ messages)
What happens to DEC Ada?
2001-08-08 19:24 UTC (11+ messages)
Ada Idioms Progress Preview
2001-08-08 18:03 UTC (9+ messages)
ASIS-FOR-GNAT, anyone?
2001-08-08 17:08 UTC (2+ messages)
Data_Error - Where in this code?
2001-08-08 13:08 UTC (4+ messages)
"with" and "use"
2001-08-08 10:25 UTC
Ada Components
2001-08-08 9:07 UTC (5+ 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
page: next (older) | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox