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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,1116ece181be1aea X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-09-08 02:54:34 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: rod.chapman@praxis-cs.co.uk (Rod Chapman) Newsgroups: comp.lang.ada Subject: Re: Is the Writing on the Wall for Ada? Date: 8 Sep 2003 02:54:33 -0700 Organization: http://groups.google.com/ Message-ID: References: NNTP-Posting-Host: 213.152.53.239 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1063014874 12106 127.0.0.1 (8 Sep 2003 09:54:34 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 8 Sep 2003 09:54:34 GMT Xref: archiver1.google.com comp.lang.ada:42270 Date: 2003-09-08T09:54:34+00:00 List-Id: "Robert C. Leif" wrote in message news:... > SPARK gives us something to hype! Please feel free to hype SPARK! :-) (Seriously, we are a small-ish company, and there's only so much marketing we can do from over here...) SPARK has several unique properties, and it is a testament to the strength of Ada that these things can be achieved at all - something that the Ada community should be justifiably proud of... We are seeing real resurgence in interest in static analysis now, and Eiffel has brough DbC to the attention of many people - you never know, SPARK might end up being fashionable soon...(just don't tell 'em it's Ada... :-) ) - Rod