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.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,bd40601768eaf8fd
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: 'constant functions' and access constant params (was Re: Array of
 Variant Records Question...)
Date: 1999/09/29
Message-ID: <7su03t$nlr$1@nnrp1.deja.com>#1/1
X-Deja-AN: 530817486
References: <7r5vh3$imu1@svlss.lmms.lmco.com> <37d6a45c@news1.prserv.net>
 <eExB3.6$ZR.1146@news.wenet.net> <37d6ccb6@news1.prserv.net>
 <7r77i8$i08$1@nnrp1.deja.com> <37d7c116@news1.prserv.net>
 <7r8t21$ov5$1@nnrp1.deja.com> <37d822a1@news1.prserv.net>
 <7reg02$t83@dfw-ixnews6.ix.netcom.com> <37DE8D09.C863CBC9@rational.com>
 <7roohh$s6r@dfw-ixnews7.ix.netcom.com> <37e01168@news1.prserv.net>
 <7rp86o$c6h@dfw-ixnews3.ix.netcom.com> <37E18CC6.C8D431B@rational.com>
 <7rs8bn$s6@dfw-ixnews4.ix.netcom.com> <37e2e58c@news1.prserv.net>
 <7s9nd0$cbe@dfw-ixnews17.ix.netcom.com> <37e8e067@news1.prserv.net>
 <7sas3p$bfa@dfw-ixnews3.ix.netcom.com> <7sc6b6$c6m$1@nnrp1.deja.com>
 <7socka$6u4@dfw-ixnews19.ix.netcom.com> <7sqbt6$1la$1@nnrp1.deja.com>
 <7sr6gl$soc@dfw-ixnews19.ix.netcom.com>
X-Http-Proxy: 1.0 x26.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Wed Sep 29 21:25:32 1999 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I)
Date: 1999-09-29T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <7sr6gl$soc@dfw-ixnews19.ix.netcom.com>,
  Richard D Riehle <laoXhai@ix.netcom.com> wrote:
>  On the other hand, I have been
> encountering some really interesting work in formal
specifications
> coming from the European computing community.  I don't
understand
> all of what I see, but what I do understand is impressive.  It
is
> that kind of work that makes me optimistic about the potential
for
> formal specifications in the future.


Sure, but so far the most important achievment in the formal
specification area over the last decade has been to realize
that the problem is far more difficult than we thought :-)


Sent via Deja.com http://www.deja.com/
Before you buy.