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-Thread: a07f3367d7,73cb216d191f0fef
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.204.198.17 with SMTP id em17mr1720771bkb.1.1364344979450;
        Tue, 26 Mar 2013 17:42:59 -0700 (PDT)
Path: 
 p18ni19819wiv.0!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!216.40.29.245.MISMATCH!novia!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsgate.cuhk.edu.hk!goblin1!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Is this expected behavior or not
Date: Sat, 23 Mar 2013 09:41:11 +0100
Organization: cbb software GmbH
Message-ID: <1gh1t0e3er8bq.1vdbaodoucozp$.dlg@40tude.net>
References: <c988e09f-8532-4840-9749-b61aa39551b4@googlegroups.com>
 <87ec4b1d-f7cd-49a4-8cff-d44aeb76a1ad@googlegroups.com>
 <ki02fr$1lo$1@munin.nbi.dk> <wccr4jgibf1.fsf@shell01.TheWorld.com>
 <78103a2f-5d19-4378-b211-1917175d5694@googlegroups.com>
 <3p6p8k0yfly7.ctazdw7fc5so$.dlg@40tude.net>
 <dfbf65c5-4f2e-4bb2-8b66-8db8ccb36d04@googlegroups.com>
 <1jtvzi1v65aqm.1k5ejsveno59f.dlg@40tude.net>
 <a767b4a0-cf7e-4974-8b6f-9a6dec117b0d@googlegroups.com>
 <1hvv2kd9smnfx.6spgz9thd1mh$.dlg@40tude.net> <ki8735$he7$1@munin.nbi.dk>
 <vo941i7imo8t$.1jjjox9r1hkqa.dlg@40tude.net> <kiakpu$98g$1@munin.nbi.dk>
 <1raubw1sk48ca$.69rdgczvnnf.dlg@40tude.net> <kidie8$6k5$1@munin.nbi.dk>
 <i93qv6ba3bv0.wuicbsmfm5ha.dlg@40tude.net> <kig50t$9t1$1@munin.nbi.dk>
 <2qwq2cdeuvhu$.qtnb8zyhuob9$.dlg@40tude.net>
 <39766694-798c-483e-b068-f3f88a00cac4@googlegroups.com>
 <ruue5ztbrikn.15fub9lwfi27i$.dlg@40tude.net>
 <wcchak3ggb2.fsf@shell01.TheWorld.com>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: XRUMb5xlbonTNodERpEXEw.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Date: 2013-03-23T09:41:11+01:00
List-Id: <comp.lang.ada>

On Fri, 22 Mar 2013 19:34:09 -0400, Robert A Duff wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> 
>> [ It is trivial to put up an example where no compile-time check can exist,
>> e.g.
> 
> I don't think so.  Compile-time checks just need to be more conservative
> to avoid running afoul of the halting problem.

OK, for any written program, there is no halting problem, as you can always
enumerate all states of any finite program using brute force.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de