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

Safety-critical development in Ada and Eiffel
 1997-09-01  0:00 UTC  (48+ messages)
  ` Design by Contract
            ` Separation of IF and Imp: process issue?
            ` A DBC experience (was Re: Design by Contract)
` Interface/Implementation "
      ` a fairy tale (was: Re: Interface/Implementation )
      ` In defence of plain ascii files ( was Re: Interface/Implementation (was Re: Design by Contract)

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

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

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

The great Java showcase (re: 2nd historic mistake)
 1997-09-01  0:00 UTC  (45+ messages)
          ` Memory management techniques -- was Re: The great Java showcase

The great Java showcase (re: 2nd historic mistake)
 1997-09-01  0:00 UTC  (11+ messages)
    ` The language is beside the point (was: The great Java showcase)

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

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

Visibility and access to "public" attributes
 1997-09-01  0:00 UTC  (6+ messages)

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

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

Newbie Q: Zero fill in Put
 1997-09-01  0:00 UTC 

what DOES the GPL really say?
 1997-09-01  0:00 UTC 

gnat compiler problems on linux
 1997-09-01  0:00 UTC 

5th Int. Conference on Software Reuse
 1997-09-01  0:00 UTC  (2+ messages)

J L Rymer
 1997-09-01  0:00 UTC 

JOBS: SW ENGINEER IN ILLINOIS
 1997-09-01  0:00 UTC 

gnat compiler problems on linux
 1997-09-01  0:00 UTC 

An example how to sabotage Ada!
 1997-09-01  0:00 UTC 

Assertions in Ada
 1997-08-31  0:00 UTC  (4+ messages)

<<>> COMPUTER SOFTWARE / HARDWARE <<>>
 1997-08-31  0:00 UTC 

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

floating point comparison
 1997-08-30  0:00 UTC  (9+ messages)

International Algorithmic language
 1997-08-30  0:00 UTC  (4+ messages)
    ` script_name variable returning html page name calling script ??

Visibility and access to "public" attributes
 1997-08-30  0:00 UTC  (4+ messages)

Help please: A little C-example of MCI Multi-Media control (Leonid Dulman)
 1997-08-30  0:00 UTC 

The great Java showcase (re: 2nd historic mistake)
 1997-08-30  0:00 UTC 

Critique of Ariane 5 paper (finally!)
 1997-08-29  0:00 UTC  (21+ messages)

Difference between ADA and c++
 1997-08-29  0:00 UTC  (13+ messages)
            ` Reasons why Ada is no success yet

Death of DSP support?
 1997-08-29  0:00 UTC  (3+ messages)

GNAT extensions, recompilation (was Re: what DOES the GPL...)
 1997-08-29  0:00 UTC 

Motif binding problem
 1997-08-29  0:00 UTC 

Design By Contract - mea culpa!
 1997-08-29  0:00 UTC 

The great Java showcase (re: 2nd historic mistake)
 1997-08-29  0:00 UTC 

CSEIC News Briefs, W/E August 29, 1997
 1997-08-29  0:00 UTC 

Finding out parameters which are not written
 1997-08-28  0:00 UTC  (3+ messages)

Where can I find IEE695 file format
 1997-08-28  0:00 UTC  (3+ messages)

GNAT Ada and Cygnus GNU compilers
 1997-08-28  0:00 UTC  (2+ messages)

Bounded strings yield huge object files
 1997-08-28  0:00 UTC  (3+ messages)

Design by Contract
 1997-08-28  0:00 UTC 

Experience with Green Hills?
 1997-08-28  0:00 UTC 

DLL's with GNAT 3.09 for Windows 95
 1997-08-28  0:00 UTC  (2+ messages)

Testing techniques for generics
 1997-08-28  0:00 UTC 

Looking for a Postscript copy of "Debugging with GDB"
 1997-08-28  0:00 UTC 

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

JOB: Junior/Entry-Level Ada Engineer, Fairfax, VA
 1997-08-27  0:00 UTC 

Gnat linker error
 1997-08-27  0:00 UTC 

Finding out parameters which are not written
 1997-08-27  0:00 UTC 


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