comp.lang.ada
 help / color / mirror / Atom feed
From: tmoran@bix.com
Subject: GNAT non-validation
Date: 15 Mar 1995 05:53:34 GMT
Date: 1995-03-15T05:53:34+00:00	[thread overview]
Message-ID: <3k5vcu$sgc@news1.delphi.com> (raw)

I was surprised to hear the GNAT contract explicitly eschews
validation.  What exactly are the deliverables and acceptance
tests for GNAT?
-----------------
PGP:Thomas Welling Moran <tmoran@bix.com>



             reply	other threads:[~1995-03-15  5:53 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1995-03-15  5:53 tmoran [this message]
1995-03-15 11:20 ` GNAT non-validation Richard Kenner
  -- strict thread matches above, loose matches on Subject: below --
1995-03-18  0:32 tmoran
replies disabled

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