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

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

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

Safety-critical development in Ada and Eiffel
 1997-09-09  0:00 UTC  (41+ messages)
` Separation of IF and Imp: process issue?

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  (12+ messages)

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

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

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

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

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

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

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

The Red Language
 1997-09-09  0:00 UTC  (8+ 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)

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

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

GNAT Compiler-Bug?
 1997-09-09  0:00 UTC 

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

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

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

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

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

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 

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

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

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

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

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)

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

Rational Apex Question
 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 

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

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

Open file?
 1997-09-07  0:00 UTC  (2+ messages)

C's static variable
 1997-09-07  0:00 UTC  (2+ messages)

Cursor Position
 1997-09-07  0:00 UTC 

Quality Week Europe, 4-7 November 1997, Brussels <http://www.soft.com/QualWeek/QWE97>
 1997-09-07  0:00 UTC 

protected types in Ada95
 1997-09-07  0:00 UTC 

Ada munition: Programming Languages and Lifecycle Cost
 1997-09-07  0:00 UTC 

Language Comparsion (Ada and Java)
 1997-09-07  0:00 UTC 

Critique of Ariane 5 paper (finally!)
 1997-09-06  0:00 UTC  (5+ messages)
  ` Design By Contract

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

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

Program structure-> HTML
 1997-09-06  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