From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: function Is_Open (File : File_Type) return Boolean; :Text_io
Date: Sat, 31 Oct 2015 10:31:49 +0100
Date: 2015-10-31T10:31:49+01:00 [thread overview]
Message-ID: <b0qn4s2ievhr.qfoi16ezp3o0.dlg@40tude.net> (raw)
In-Reply-To: n10f12$96c$1@dont-email.me
On Fri, 30 Oct 2015 20:07:18 +0100, G.B. wrote:
> On 30.10.15 17:20, Dmitry A. Kazakov wrote:
>> On Fri, 30 Oct 2015 15:32:16 +0100, G.B. wrote:
>>
>>> On 30.10.15 09:39, Dmitry A. Kazakov wrote:
>>>> The concern is safe design. If [program] B has bugs it cannot be
>>>> relied on to determine if it has them.
>>>
>>> Uhm, so what? Which kind of program is relied upon to determine
>>> if it has bugs or not?
>>
>> A program that contains run-time checks for bugs.
>
> I don't think anybody says that, nor does "contract based design",
Anybody but you?
>> Positive of *what*?
>
> Positive of what we now have learned may (not) be the desired outcome.
Thus:
"Detecting a false positive needs to be assessed empirically."
reads as
"Somebody needs empirically assess misinterpretation of desired outcomes as
undesired outcomes..."
May I suggest, for a start, do not misinterpret anything, then you won't
need to assess that later... (:-))
>> You first need a workable (...) definition of a correct
>> program
>
> What makes you assume that a specific, formalistic definition of
> a correct program is the workable one?
Easy. Any non-contradictory definition is workable.
> Except per the narrow situation-excluding circularity of
> "work" = "operation":
Workable here = logically consistent.
You seem are under a [false] impression that since ideal circles do not
exist the car wheels can be made square...
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2015-10-31 9:31 UTC|newest]
Thread overview: 52+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-10-26 10:00 function Is_Open (File : File_Type) return Boolean; :Text_io comicfanzine
2015-10-26 11:27 ` Simon Wright
2015-10-26 13:25 ` comicfanzine
2015-10-26 18:01 ` Simon Wright
2015-10-26 19:03 ` AdaMagica
2015-10-27 11:30 ` Simon Wright
2015-10-26 18:02 ` Jeffrey R. Carter
2015-10-26 13:28 ` comicfanzine
2015-10-26 15:07 ` Jacob Sparre Andersen
2015-10-26 16:37 ` AdaMagica
2015-10-26 20:46 ` J-P. Rosen
2015-10-27 8:42 ` comicfanzine
2015-10-27 11:34 ` Simon Wright
2015-10-28 13:32 ` comicfanzine
2015-10-27 8:51 ` comicfanzine
2015-10-27 17:15 ` Jeffrey R. Carter
2015-10-26 22:48 ` Bob Duff
2015-10-27 8:30 ` Dmitry A. Kazakov
2015-10-27 13:30 ` Bob Duff
2015-10-27 14:00 ` G.B.
2015-10-27 15:26 ` Dmitry A. Kazakov
2015-10-27 16:43 ` G.B.
2015-10-27 20:04 ` Dmitry A. Kazakov
2015-10-28 11:06 ` Georg Bauhaus
2015-10-28 17:58 ` Randy Brukardt
2015-10-28 18:20 ` Dmitry A. Kazakov
2015-10-28 20:36 ` Bob Duff
2015-10-28 21:02 ` Dmitry A. Kazakov
2015-10-29 11:25 ` AdaMagica
2015-10-29 13:37 ` Dmitry A. Kazakov
2015-10-29 17:57 ` AdaMagica
2015-10-29 18:12 ` AdaMagica
2015-10-29 18:26 ` Dmitry A. Kazakov
2015-10-30 8:27 ` Jacob Sparre Andersen
2015-10-30 9:11 ` J-P. Rosen
2015-10-29 11:47 ` G.B.
2015-10-29 13:01 ` J-P. Rosen
2015-10-29 14:00 ` Dmitry A. Kazakov
2015-10-30 1:06 ` Georg Bauhaus
2015-10-30 8:39 ` Dmitry A. Kazakov
2015-10-30 14:32 ` G.B.
2015-10-30 16:20 ` Dmitry A. Kazakov
2015-10-30 19:07 ` G.B.
2015-10-31 9:31 ` Dmitry A. Kazakov [this message]
2015-10-31 11:17 ` Georg Bauhaus
2015-10-30 14:40 ` G.B.
2015-10-30 16:26 ` Dmitry A. Kazakov
2015-10-28 20:07 ` Bob Duff
2015-10-28 20:59 ` Dmitry A. Kazakov
2015-10-27 14:02 ` G.B.
2015-10-27 15:10 ` Dmitry A. Kazakov
2015-10-27 16:41 ` G.B.
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox