From: dvdeug@x8b4e53cd.dhcp.okstate.edu (David Starner)
Subject: Re: [ANNOUNCE] pyAda, first public release
Date: 1 Mar 2001 17:58:45 GMT
Date: 2001-03-01T17:58:45+00:00 [thread overview]
Message-ID: <97m2kl$7hu1@news.cis.okstate.edu> (raw)
In-Reply-To: 3A9E5AD7.FAB962F5@bton.ac.uk
On Thu, 01 Mar 2001 14:21:11 +0000, John English <je@bton.ac.uk> wrote:
>Brad Clements wrote:
>>
>> Plugging in a "non-verifiable" script plug-in kinda defeats this purpose..
>> doesn't it?
>
>You're asking for a pure Ada implementation of Python, then.
What's the point of being theoritically verifiable if you can't actually
do it? If I'm not mistaken, Python is large enough to make verification
of even an Ada or SPARK version unfeasible.
In any case, I can't think of where you would have a verified system
that you would want to give the users the ability to execute arbitrary
code on. A Python script plug-in is nice for things like the Gimp, or
a spreadsheet, or a word-processor; stuff where the worst case scenario
is annoyance, not anything that would get verified.
--
David Starner - dstarner98@aasaa.ofe.org
Pointless website: http://dvdeug.dhis.org
"I don't care if Bill personally has my name and reads my email and
laughs at me. In fact, I'd be rather honored." - Joseph_Greg
next prev parent reply other threads:[~2001-03-01 17:58 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
2001-03-01 14:21 ` John English
2001-03-01 17:58 ` David Starner [this message]
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