comp.lang.ada
 help / color / mirror / Atom feed
 messages from 1997-09-08 00:00:00 to 1997-09-10 00:00:00 UTC [more...]

Safety-critical development in Ada and Eiffel
 1997-09-10  0:00 UTC  (53+ messages)
  ` Separation of IF and Imp: process issue?
          ` Precondition Checking For Ada 0X (Was: Separation of IF and Imp: process issue?)

floating point comparison
 1997-09-10  0:00 UTC  (11+ messages)
              ` Get_Immediate

what DOES the GPL really say?
 1997-09-10  0:00 UTC  (4+ messages)

Design By Contract
 1997-09-10  0:00 UTC  (26+ messages)
      ` Building blocks (Was: Design By Contract)

maintenance of overriding subprograms
 1997-09-10  0:00 UTC  (15+ messages)

Interface/Implementation (was Re: Design by Contract)
 1997-09-10  0:00 UTC  (17+ messages)

An interesting quote on Java and C++
 1997-09-10  0:00 UTC  (5+ messages)

Interface/Implementation (was Re: Design by Contract)
 1997-09-10  0:00 UTC  (12+ messages)
        ` One pass compilation?

subjectivity
 1997-09-10  0:00 UTC  (4+ messages)

Interface/Implementation (was Re: Design by Contract)
 1997-09-10  0:00 UTC  (9+ messages)

subjectivity
 1997-09-10  0:00 UTC  (2+ messages)

C's register keyword
 1997-09-10  0:00 UTC  (6+ messages)

protected types in Ada95
 1997-09-10  0:00 UTC  (4+ messages)

Interface/Implementation (was Re: Design by Contract)
 1997-09-10  0:00 UTC  (10+ messages)

Recursive Protected types getting deadlocked! (longish)
 1997-09-10  0:00 UTC  (4+ messages)

Interface/Implementation (was Re: Design by Contract)
 1997-09-10  0:00 UTC  (15+ messages)

Arithmetic with durations
 1997-09-10  0:00 UTC  (4+ messages)

GNAT Compiler-Bug?
 1997-09-10  0:00 UTC  (2+ messages)

Ada vs. C++ (Readability)
 1997-09-10  0:00 UTC  (4+ messages)

Text control characters
 1997-09-10  0:00 UTC 

Units Checking in Ada - Solicit -- John Howard
 1997-09-10  0:00 UTC 

How do I insert a carriage return into a multi-line text box (ObjectAda)?
 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  (8+ messages)

Using the GNAT defined attribute: 'Enum_Rep
 1997-09-09  0:00 UTC  (11+ messages)

Ada 95 Numerics questions for the experts
 1997-09-09  0:00 UTC  (10+ messages)

Ada vs C++
 1997-09-09  0:00 UTC  (12+ messages)
        ` Ada vs C++ (Expression Templates)
        ` Ada vs C++ (vs Lisp)
            ` Ada vs C++ (Ada 0X)
        ` Ada vs C++ (high-performance libraries)

The Red Language
 1997-09-09  0:00 UTC  (6+ messages)

Interface/Implementation (was Re: Design by Contract)
 1997-09-09  0:00 UTC 

floating point comparison
 1997-09-09  0:00 UTC  (4+ messages)

IEEE695 file format
 1997-09-09  0:00 UTC 

Recursive Protected types getting deadlocked!
 1997-09-09  0:00 UTC 

Building blocks (Was: Design By Contract)
 1997-09-09  0:00 UTC 

Using the GNAT defined attribute: 'Enum_Rep
 1997-09-09  0:00 UTC  (2+ messages)

Java vs. Eiffel vs. C++ in realtime applications
 1997-09-09  0:00 UTC 

Please Help
 1997-09-09  0:00 UTC  (3+ messages)

Building blocks (Was: Design By Contract)
 1997-09-09  0:00 UTC 

Using the GNAT defined attribute: 'Enum_Rep
 1997-09-09  0:00 UTC  (2+ messages)

Is Ada likely to survive ?
 1997-09-08  0:00 UTC  (11+ messages)

'size attribute inheritance
 1997-09-08  0:00 UTC  (4+ messages)

The great Java showcase (re: 2nd historic mistake)
 1997-09-08  0:00 UTC  (5+ messages)

Newbie Q: Zero fill in Put
 1997-09-08  0:00 UTC  (2+ messages)

CSEIC News Briefs, W/E Sept. 5, 1997
 1997-09-08  0:00 UTC  (2+ messages)

Explicit Posix/Notify() vs Guards
 1997-09-08  0:00 UTC  (2+ messages)

The Red Language
 1997-09-08  0:00 UTC  (2+ messages)

Gnat Tasking behaviour
 1997-09-08  0:00 UTC 

Death of DSP support?
 1997-09-08  0:00 UTC  (6+ messages)
            ` Mars Pathfinder (Was: Re: Death of DSP support?)

Q: Can address clauses be restricted to static expressions?
 1997-09-08  0:00 UTC 

Rational Apex Question
 1997-09-08  0:00 UTC  (2+ messages)


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