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: a07f3367d7,5add429c86f59001
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!193.252.117.184.MISMATCH!news.wanadoo.fr!news.wanadoo.fr!not-for-mail
Message-ID: <4A1C4D9A.8010407@obry.net>
Date: Tue, 26 May 2009 22:14:18 +0200
From: Pascal Obry <pascal@obry.net>
Organization: Home - http://www.obry.net
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; fr-FR;
 rv:1.8.1.21) Gecko/20090302 Thunderbird/2.0.0.21 Mnenhy/0.7.5.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
To: mailbox@dmitry-kazakov.de
Subject: Re: Ada vs Eiffel - Ada programmer approach
References: 
 <405b5054-4c8f-4e16-9ea8-503a9b9f976e@t21g2000yqi.googlegroups.com>
  <4A19765C.608@obry.net>
 <8105b65f-4de9-4653-b43a-d55ee33f072d@k2g2000yql.googlegroups.com>
 <130yh6dv3l1lf$.1729u4tpolgwi.dlg@40tude.net>
 <4a1c2652$0$30220$9b4e6d93@newsspool1.arcor-online.net>
 <1r1ho3wqsjncb.1p3p7qe2qcqmw.dlg@40tude.net>
 <4a1c2dfe$0$30236$9b4e6d93@newsspool1.arcor-online.net>
 <uw2akaqgnepe$.1i0g9dauyj3x3.dlg@40tude.net>
In-Reply-To: <uw2akaqgnepe$.1i0g9dauyj3x3.dlg@40tude.net>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
NNTP-Posting-Date: 26 May 2009 22:14:14 CEST
NNTP-Posting-Host: 83.199.103.238
X-Trace: 1243368854 news.orange.fr 17770 83.199.103.238:2749
X-Complaints-To: abuse@orange.fr
Xref: g2news2.google.com comp.lang.ada:6029
Date: 2009-05-26T22:14:14+02:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov a �crit :
> Nope, the point is not how many checks, it is about consistency of checks.
> SPARK does it consistently, Eiffel does not.

Well SPARK and Eiffel are playing the same game at all!

SPARK imposes some very strong constraints on the developer (for good
reasons) to build and *prove* something right.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|    http://www.obry.net  -  http://v2p.fr.eu.org
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver keys.gnupg.net --recv-key F949BD3B