From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 10dd18,6bad6e708776a9ad X-Google-Attributes: gid10dd18,public X-Google-Thread: 103376,6bad6e708776a9ad X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-03-02 04:54:05 PST Path: supernews.google.com!sn-xit-03!supernews.com!logbridge.uoregon.edu!arclight.uoregon.edu!newsfeed.ksu.edu!nntp.ksu.edu!news.okstate.edu!dvdeug From: dvdeug@x8b4e53cd.dhcp.okstate.edu (David Starner) Newsgroups: comp.lang.python,comp.lang.ada Subject: Re: [ANNOUNCE] pyAda, first public release Date: 1 Mar 2001 17:58:45 GMT Organization: Oklahoma State University Message-ID: <97m2kl$7hu1@news.cis.okstate.edu> References: <3A9DB9E1.8DD0E36D@bigfoot.de> <3A9E5AD7.FAB962F5@bton.ac.uk> Reply-To: dstarner98@aasaa.ofe.org NNTP-Posting-Host: x8b4e531b.dhcp.okstate.edu User-Agent: slrn/0.9.6.3 (Linux) Xref: supernews.google.com comp.lang.python:23608 comp.lang.ada:5374 Date: 2001-03-01T17:58:45+00:00 List-Id: On Thu, 01 Mar 2001 14:21:11 +0000, John English 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