From: "Brad Clements" <bkc@Murkworks.com>
Subject: Re: [ANNOUNCE] pyAda, first public release
Date: Thu, 1 Mar 2001 09:01:58 -0500
Date: 2001-03-01T09:01:58-05:00 [thread overview]
Message-ID: <Xvsn6.7$R4.940@news.clarkson.edu> (raw)
In-Reply-To: 3A9DB9E1.8DD0E36D@bigfoot.de
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 496 bytes --]
I thought one of the big points of using Ada was its verifiability -- making
it more suitable for complex, "large-scale" (i.e, expensive) projects, like
missile defense.
Plugging in a "non-verifiable" script plug-in kinda defeats this purpose..
doesn't it?
--
Brad Clements,
bkc@murkworks.com
"Gerhard H�ring" <gerhard.nospam@bigfoot.de> wrote in message
news:3A9DB9E1.8DD0E36D@bigfoot.de...
> PS: This is my first major Ada project, so I am open to any suggestions
> for improvement.
next prev parent reply other threads:[~2001-03-01 14:01 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-03-01 2:54 [ANNOUNCE] pyAda, first public release Gerhard Häring
2001-03-01 14:01 ` Brad Clements [this message]
2001-03-01 14:21 ` John English
2001-03-01 17:58 ` David Starner
2001-03-01 15:08 ` Larry Kilgallen
2001-04-07 16:43 ` Charles Hixson
2001-03-01 19:36 ` Terry Westley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox