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-Thread: 103376,64f0fb07a88662b1 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!news2.google.com!news.maxwell.syr.edu!newscon02.news.prodigy.com!prodigy.net!newsmst01a.news.prodigy.com!prodigy.com!postmaster.news.prodigy.com!newssvr13.news.prodigy.com.POSTED!4988f22a!not-for-mail From: Newsgroups: comp.lang.ada References: <31T2e.5362$AI.4802@reader1.news.jippii.net> <3b4bloF6h1fppU1@individual.net> Subject: Re: Contract checking in Ada X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1437 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1441 Message-ID: <7PT5e.22933$zl.2469@newssvr13.news.prodigy.com> NNTP-Posting-Host: 69.111.65.31 X-Complaints-To: abuse@prodigy.net X-Trace: newssvr13.news.prodigy.com 1113065795 ST000 69.111.65.31 (Sat, 09 Apr 2005 12:56:35 EDT) NNTP-Posting-Date: Sat, 09 Apr 2005 12:56:35 EDT Organization: SBC http://yahoo.sbc.com X-UserInfo1: [[PGW^WETZSMB_DX]BCBNWX@RJ_XPDLMN@GZ_GYO^JWTEPIB_NVUAH_[BL[\IRKIANGGJBFNJF_DOLSCENSY^U@FRFUEXR@KFXYDBPWBCDQJA@X_DCBHXR[C@\EOKCJLED_SZ@RMWYXYWE_P@\\GOIW^@SYFFSWHFIXMADO@^[ADPRPETLBJ]RDGENSKQQZN Date: Sat, 09 Apr 2005 16:56:35 GMT Xref: g2news1.google.com comp.lang.ada:10362 Date: 2005-04-09T16:56:35+00:00 List-Id: "Peter Amey" wrote in message news:3b4bloF6h1fppU1@individual.net... > > > Tapio Kelloniemi wrote: > [snip] > > > > But back to my original question, how could I implement programming by > > contract now when the designers have abandoned it in their great wisdom? > > SPARKADA seems not to be free software, so it is not an option for me. > > > > SPARK is available free for academic use if that is of any help to you. > One the graduate students at our school is, in fact, pursuing a thesis that involves SPARK and we are quite enthusiastic to see what kind of results whe will get. We have been pleased with the generous support so far provided by Praxis in making this effort go smoothly. Richard Riehle