messages from 1997-09-09 00:00:00 to 1997-09-11 00:00:00 UTC [more...]
Safety-critical development in Ada and Eiffel
1997-09-11 0:00 UTC (47+ messages)
` Separation of IF and Imp: process issue?
` Precondition Checking For Ada 0X (Was: Separation of IF and Imp: process issue?)
Using the GNAT defined attribute: 'Enum_Rep
1997-09-11 0:00 UTC (6+ messages)
what DOES the GPL really say?
1997-09-11 0:00 UTC (5+ messages)
` egcs. Was: "
maintenance of overriding subprograms
1997-09-11 0:00 UTC (13+ messages)
Interface/Implementation (was Re: Design by Contract)
1997-09-11 0:00 UTC (15+ messages)
An interesting quote on Java and C++
1997-09-11 0:00 UTC (9+ messages)
Interface/Implementation (was Re: Design by Contract)
1997-09-11 0:00 UTC (12+ messages)
` One pass compilation?
` Code ordering
subjectivity
1997-09-11 0:00 UTC (5+ messages)
Interface/Implementation (was Re: Design by Contract)
1997-09-11 0:00 UTC (12+ messages)
C's register keyword
1997-09-11 0:00 UTC (7+ messages)
Interface/Implementation (was Re: Design by Contract)
1997-09-11 0:00 UTC (14+ messages)
protected types in Ada95
1997-09-11 0:00 UTC (6+ messages)
Interface/Implementation (was Re: Design by Contract)
1997-09-11 0:00 UTC (4+ messages)
Ada munition: Programming Languages and Lifecycle Cost
1997-09-11 0:00 UTC (2+ messages)
Interface/Implementation (was Re: Design by Contract)
1997-09-11 0:00 UTC (2+ messages)
Interface/Implementation (was Re: Design by Contract)
1997-09-11 0:00 UTC (2+ messages)
Arithmetic with durations
1997-09-11 0:00 UTC (5+ messages)
GNAT Compiler-Bug?
1997-09-11 0:00 UTC (3+ messages)
Ada vs. C++ (Readability)
1997-09-11 0:00 UTC (7+ messages)
Ada vs C++
1997-09-11 0:00 UTC (11+ messages)
` Ada vs C++ (vs Lisp)
` Ada vs C++ (Ada 0X)
` Ada vs C++ (high-performance libraries)
The Red Language
1997-09-11 0:00 UTC (6+ messages)
Please Help
1997-09-11 0:00 UTC (4+ messages)
Using the GNAT defined attribute: 'Enum_Rep
1997-09-11 0:00 UTC (3+ messages)
Text control characters
1997-09-11 0:00 UTC (3+ messages)
How do I insert a carriage return into a multi-line text box (ObjectAda)?
1997-09-11 0:00 UTC (2+ messages)
Interface/Implementation (was Re: Design by Contract)
1997-09-11 0:00 UTC (14+ messages)
floating point comparison
1997-09-11 0:00 UTC (4+ messages)
Ada 95 Low_Level_IO package
1997-09-11 0:00 UTC
GNAT extensions, recompilation (was Re: what DOES the GPL...)
1997-09-11 0:00 UTC (2+ messages)
The great Java showcase (re: 2nd historic mistake)
1997-09-11 0:00 UTC
Building blocks (Was: Design By Contract)
1997-09-11 0:00 UTC
Java vs. Eiffel vs. C++ in realtime applications
1997-09-11 0:00 UTC (8+ messages)
NEED: Ada Compiler - Windows
1997-09-11 0:00 UTC
adatags?
1997-09-11 0:00 UTC (2+ messages)
Graphics packages with ADA9X
1997-09-11 0:00 UTC
Dispatching in Generics
1997-09-11 0:00 UTC
ADA CORE TECHNOLOGIES ANNOUNCES GNAT-TO-JAVA SYSTEM
1997-09-11 0:00 UTC
CSEIC News Briefs, W/E Sept. 12, 1997
1997-09-11 0:00 UTC
Software Announcement
1997-09-11 0:00 UTC
floating point comparison
1997-09-10 0:00 UTC (4+ messages)
Design By Contract
1997-09-10 0:00 UTC (20+ messages)
` Building blocks (Was: Design By Contract)
subjectivity
1997-09-10 0:00 UTC (2+ messages)
Recursive Protected types getting deadlocked! (longish)
1997-09-10 0:00 UTC (2+ messages)
Units Checking in Ada - Solicit -- John Howard
1997-09-10 0:00 UTC
maintenance of overriding subprograms
1997-09-10 0:00 UTC
Ada consultants needed--Pittsburgh, PA
1997-09-10 0:00 UTC
Emacs and ada-mode --
1997-09-10 0:00 UTC
Hotel Deadline Sept 22 - USENIX Conf on Domain-Specific Languages (DSL)
1997-09-10 0:00 UTC
what DOES the GPL really say?
1997-09-09 0:00 UTC (7+ messages)
Ada 95 Numerics questions for the experts
1997-09-09 0:00 UTC (9+ messages)
IEEE695 file format
1997-09-09 0:00 UTC
Recursive Protected types getting deadlocked!
1997-09-09 0:00 UTC
Using the GNAT defined attribute: 'Enum_Rep
1997-09-09 0:00 UTC (2+ 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