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: 103376,a00006d3c4735d70
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-01-11 07:08:52 PST
Path: 
 archiver1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!dialin-145-254-043-200.arcor-ip.NET!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Certified C compilers for safety-critical embedded systems
Date: Sun, 11 Jan 2004 16:15:17 +0100
Organization: At home
Message-ID: <btrotu$agepm$1@ID-77047.news.uni-berlin.de>
References: <1731094.1f7Irsyk1h@linux1.krischik.com>
 <3ff1b8ef.614528516@News.CIS.DFN.DE> <3FF1E06D.A351CCB4@yahoo.com>
 <3ff20cc8.635997032@News.CIS.DFN.DE> <bsumbs$k9e$2@a1-hrz.uni-duisburg.de>
 <3ff9df16.30249104@News.CIS.DFN.DE> <1665674.ZrTUW4qaQq@linux1.krischik.com>
 <1073409810.463948@master.nyc.kbcfp.com>
 <NbDKb.505$9b5.388@newssvr29.news.prodigy.com>
 <1073421950.964139@master.nyc.kbcfp.com> <E7aLb.776788$Tr4.2231457@attbi_s03>
 <3ffd9d14.1526346@News.CIS.DFN.DE>
 <btlmj0$8o9lq$1@ID-175126.news.uni-berlin.de>
 <1073659951.261166@master.nyc.kbcfp.com>
 <btoqj7$9qtre$1@ID-77047.news.uni-berlin.de>
 <Ux2Mb.2349$Qq.709@nwrdny01.gnilink.net>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: dialin-145-254-043-200.arcor-ip.net (145.254.43.200)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Trace: news.uni-berlin.de 1073833730 11025206 145.254.43.200 ([77047])
User-Agent: KNode/0.7.2
Xref: archiver1.google.com comp.lang.ada:4333
Date: 2004-01-11T16:15:17+01:00
List-Id: <comp.lang.ada>

Hyman Rosen wrote:

> Dmitry A. Kazakov wrote:
>> Because "being an array" or whatsoever is an implementation detail.
> 
> And computer programs are all about implementation.

Aha, is that why you hate specifications and formal methods? (:-))

No, to manage complexity we should have different layered views on software
components. Implementation on one level involves specifications of another.
And any implementation is useless if nodody knows what it implements. After
all any arbitrary sequence of bits implements something...

-- 
Regards,
Dmitry A. Kazakov
www.dmitry-kazakov.de