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.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,aba1514f4a1fc450
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.180.75.8 with SMTP id y8mr1245643wiv.4.1345989768671;
        Sun, 26 Aug 2012 07:02:48 -0700 (PDT)
Path: 
 e9ni24238892wia.0!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!85.12.40.130.MISMATCH!xlned.com!feeder1.xlned.com!newsfeed.xs4all.nl!newsfeed6.news.xs4all.nl!xs4all!newspeer1.nac.net!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!news.snarked.org!newsfeed.news.ucla.edu!ihnp4.UCSD.Edu!nntp.ucr.edu!usenet.stanford.edu!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.arch,comp.lang.ada
Subject: Re: Have the Itanium critics all been proven wrong?
Date: Wed, 22 Aug 2012 13:54:22 +0300
Organization: Tidorum Ltd
Message-ID: <a9js2uFi35U1@mid.individual.net>
References: <5021874F.1747D0BF@sonic.net> <1e1tf9-0kp2.ln1@ntp6.tmsw.no>
 <k0gn5r$l9h$1@needham.csi.cam.ac.uk> <GPRWr.31944$Bw1.31300@newsfe05.iad>
 <k0gq97$li8$1@needham.csi.cam.ac.uk> <k0h6ef$jke$1@speranza.aioe.org>
 <46f19bfc-930e-4f06-b5a6-c60f39cfda0c@p14g2000yqk.googlegroups.com>
 <k0r609$4ij$1@speranza.aioe.org>
 <077b12f6-1196-4b5c-bbdb-04291b1ae616@q22g2000vbx.googlegroups.com>
 <k0rree$lkn$1@speranza.aioe.org> <CC5730C5.1BC2E%yaldnif.w@blueyonder.co.uk>
 <k0t67b$b8r$1@speranza.aioe.org> <CC585119.1BCCC%yaldnif.w@blueyonder.co.uk>
 <k0uenp$fbg$1@speranza.aioe.org> <k0vo9u$fer$1@dont-email.me>
 <589825d2-d998-456a-9c37-c8ae13e1e7bc@e29g2000vbm.googlegroups.com>
 <a9iagtF1rqU1@mid.individual.net>
 <4c83f0f4-30e2-44bd-8b73-ada05de9322b@q22g2000vbx.googlegroups.com>
Mime-Version: 1.0
X-Trace: individual.net
 Q2526bo4o83nPv/p9HJxCQaEyUAIbqhzm7FL6Hs4unrvYx3UEGw92ahnvCQORWT35w
Cancel-Lock: sha1:PDUhygMMGjbZ7fBwFs2oDvK6D9k=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6;
 rv:14.0) Gecko/20120713 Thunderbird/14.0
In-Reply-To: 
 <4c83f0f4-30e2-44bd-8b73-ada05de9322b@q22g2000vbx.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Date: 2012-08-22T13:54:22+03:00
List-Id: <comp.lang.ada>

On 12-08-22 12:29 , Michael S wrote:
>
> So let's do not call it "two languages". Let's talk about "full Ada"
> and "checked Ada" where "checked Ada" is a subset in which "it is not
> possible to clobber arbitrary memory locations". Hopefully  "checked
> Ada" is still much closer in # features to the "full Ada" than to
> SPARK.
> 
 ...
>>> Q.
>>> Do people actually use the "second" Ada language

(i.e. "checked Ada")

>>> for really big and
>>> really complex application programs?
>>
>> It is certainly possible. For example, the main SPARK tools are written
>> in SPARK.
> 
> Well, so let's define "really big and really complex application
> programs" (RBaRCAP) as something that not only executes complex
> processing, but also handles multiple tightly or loosely related
> inputs for hours/days/weeks/months either as long-running service or
> as an interactive [GUI] application.
> Then compilers or lint-like tools are not RBaRCAP.

I understand. Another term, currently popular, is "enterprise applications".

I have no personal knowledge of terrestrial RBaRCAPs. I have experience
of on-board SW in spacecraft, which may not qualify as "really big",
except in terms of the ratio of program size to available memory size,
but it is certainly complex and handles many inputs as a long-running
service. I've never used Unchecked_Deallocation in such programs, and
Unchecked_Conversion only for safe conversions.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
      .      @       .