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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a00006d3c4735d70
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-12-30 14:27:26 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.icl.net!newsfeed.fjserv.net!proxad.net!freenix!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail
From: "Alexandre E. Kopilovitch" <aek@VB1162.spb.edu>
Newsgroups: comp.lang.ada
Subject: Re: Certified C compilers for safety-critical embedded systems
Date: Wed, 31 Dec 2003 01:26:39 +0300 (MSK)
Organization: Cuivre, Argent, Or
Message-ID: <mailman.190.1072823193.31149.comp.lang.ada@ada-france.org>
References: <bssfp0$10el5$2@ID-77047.news.uni-berlin.de>
NNTP-Posting-Host: lovelace.ada-france.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: melchior.cuivre.fr.eu.org 1072823194 74562 80.67.180.195 (30 Dec 2003
 22:26:34 GMT)
X-Complaints-To: usenet@melchior.cuivre.fr.eu.org
NNTP-Posting-Date: Tue, 30 Dec 2003 22:26:34 +0000 (UTC)
To: comp.lang.ada@ada-france.org
Return-Path: <aek@VB1162.spb.edu>
In-Reply-To: <bssfp0$10el5$2@ID-77047.news.uni-berlin.de>;
	from "Dmitry A. Kazakov" at Tue, 30 Dec 2003 19:28:50 +0100
X-Mailer: Mail/@ [v2.44 MSDOS]
X-Virus-Scanned: by amavisd-new-20030616-p5 (Debian) at ada-france.org
X-BeenThere: comp.lang.ada@ada-france.org
X-Mailman-Version: 2.1.3
Precedence: list
List-Id: Gateway to the comp.lang.ada Usenet newsgroup
	<comp.lang.ada.ada-france.org>
List-Unsubscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=unsubscribe>
List-Post: <mailto:comp.lang.ada@ada-france.org>
List-Help: <mailto:comp.lang.ada-request@ada-france.org?subject=help>
List-Subscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=subscribe>
Xref: archiver1.google.com comp.lang.ada:3969
Date: 2003-12-31T01:26:39+03:00

Dmitry A. Kazakov wrote:

> Hyman Rosen wrote:
>
> > Martin Krischik wrote:
> >> I had my array start at 1 not 0. In C all numbers start with 0 but in the
> >> real world they usualy start with 1.
> > 
> > The "real world" doesn't have arrays. Only computer programs do.
>
> The "real world" does not have numbers as well.

As well as words and notions. So no argument is possible in that too very
real world... or about it.



Alexander Kopilovitch                      aek@vib.usr.pu.ru
Saint-Petersburg
Russia