messages from 1997-08-18 00:00:00 to 1997-08-25 00:00:00 UTC [more...]
what DOES the GPL really say?
1997-08-25 0:00 UTC (33+ messages)
` egcs (Re: what DOES the GPL really say?)
Safety-critical development in Ada and Eiffel
1997-08-25 0:00 UTC (60+ messages)
` Design by Contract
Critique of Ariane 5 paper (finally!)
1997-08-25 0:00 UTC (22+ messages)
Rebuttal to Ariane paper
1997-08-25 0:00 UTC (3+ messages)
Assertions in Ada
1997-08-25 0:00 UTC (11+ messages)
Difference between ADA and c++
1997-08-25 0:00 UTC (9+ messages)
` Library model in Ada. was "
Where can I find IEE695 file format
1997-08-25 0:00 UTC (2+ messages)
GNAT extensions, recompilation (was Re: what DOES the GPL...)
1997-08-25 0:00 UTC
Help finding a Win95 Ada Compiler
1997-08-25 0:00 UTC
Ada 95 Numerics questions for the experts
1997-08-25 0:00 UTC
GNAT extensions, recompilation (was Re: what DOES the GPL...)
1997-08-25 0:00 UTC (2+ messages)
correctness vs liability
1997-08-25 0:00 UTC (2+ messages)
The great Java showcase (re: 2nd historic mistake)
1997-08-25 0:00 UTC
floating point comparison
1997-08-24 0:00 UTC (24+ messages)
Is Ada likely to survive ?
1997-08-24 0:00 UTC (9+ messages)
Safety-critical development in Ada and Eiffel
1997-08-24 0:00 UTC
AZ - SOFTWARE ENGINEERS with ADA experience (CONTRACTS NOW!)
1997-08-24 0:00 UTC
SI Units Solicitation - Upgrade from comments
1997-08-23 0:00 UTC (10+ messages)
WinNT Debugger for Ada
1997-08-23 0:00 UTC (2+ messages)
Critique of Ariane 5 paper (finally!)
1997-08-23 0:00 UTC (5+ messages)
Ada
1997-08-23 0:00 UTC
floating point comparison
1997-08-23 0:00 UTC (3+ messages)
Is Ada likely to survive ?
1997-08-22 0:00 UTC (9+ messages)
International Algorithmic language
1997-08-22 0:00 UTC (14+ messages)
Generic formal package parameter question
1997-08-22 0:00 UTC (3+ messages)
Critique of Ariane 5 paper (finally)
1997-08-22 0:00 UTC
Assertions & Design by Contract
1997-08-22 0:00 UTC
CSEIC News Briefs, W/E Aug. 22, 1997
1997-08-22 0:00 UTC
GNAT 4.0
1997-08-22 0:00 UTC
Assertions in Ada
1997-08-22 0:00 UTC
cs.nyu.edu
1997-08-22 0:00 UTC (2+ messages)
Critique of Ariane 5 paper (finally!)
1997-08-22 0:00 UTC
Ada 95 used in future Microsoft O/S???
1997-08-21 0:00 UTC (3+ messages)
Ada 95 Sockets example wanted
1997-08-21 0:00 UTC (5+ messages)
Safety-critical development in Ada and Eiffel
1997-08-21 0:00 UTC (5+ messages)
GnatLib vs. pragma Interface
1997-08-21 0:00 UTC (4+ messages)
Why doesn't an access to an imported C function work?
1997-08-21 0:00 UTC (2+ messages)
Safety-critical development in Ada and Eiffel
1997-08-20 0:00 UTC (3+ messages)
Help with access-to-functions and imported C functions
1997-08-20 0:00 UTC (2+ messages)
Software Announcement
1997-08-20 0:00 UTC (2+ messages)
Beaujolais prize question
1997-08-20 0:00 UTC (2+ messages)
Another test
1997-08-20 0:00 UTC
New components on Adalog's web site
1997-08-20 0:00 UTC
Test ()ignore)
1997-08-20 0:00 UTC
Just a test
1997-08-20 0:00 UTC
Safety-critical development in Ada and Eiffel
1997-08-19 0:00 UTC (15+ messages)
` The stupidity of all the Ariane 5 analysts
` Warts was "
Home-Based PC Users Needed
1997-08-19 0:00 UTC (3+ messages)
` Home-Based PC losers Needed
Critical code, Ada, Eiffel, Ariane etc
1997-08-19 0:00 UTC (4+ messages)
Safety-critical development in Ada and Eiffel
1997-08-19 0:00 UTC (3+ messages)
Request for Ada Coding Standards
1997-08-19 0:00 UTC (5+ messages)
Ada for OS/2 (was Re: Linux faster than OS/2...)
1997-08-19 0:00 UTC (7+ messages)
` Ada for OS/2
The stupidity of all the Ariane 5 analysts
1997-08-19 0:00 UTC (2+ messages)
The stupidity of all the Ariane 5 analysts
1997-08-19 0:00 UTC
Binding to libpng
1997-08-19 0:00 UTC
(Press release) Embedded Eiffel announcement
1997-08-19 0:00 UTC
[ANNOUNCE] OpenGL-Ada mailing list formed
1997-08-19 0:00 UTC
International Algebraic Language
1997-08-19 0:00 UTC
ADA-compilers
1997-08-19 0:00 UTC
'size attribute inheritance
1997-08-18 0:00 UTC (5+ messages)
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