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: 103376,ad06d2d7cb045687
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.189.72 with SMTP id gg8mr1593626pbc.4.1328173181330;
        Thu, 02 Feb 2012 00:59:41 -0800 (PST)
Path: 
 lh20ni251559pbb.0!nntp.google.com!news1.google.com!volia.net!news2.volia.net!feed-A.news.volia.net!news.musoftware.de!wum.musoftware.de!feeder.erje.net!news-1.dfn.de!news.dfn.de!news.uni-weimar.de!not-for-mail
From: stefan-lucks@see-the.signature
Newsgroups: comp.lang.ada
Subject: Re: Silly and stupid =?UTF-8?B?cG9zdOKAkWNvbmRpdGlvbiBvciBub3TCoA==?=
 =?UTF-8?B?Pw==?=
Date: Thu, 2 Feb 2012 10:01:22 +0100
Organization: Bauhaus-Universitaet Weimar
Message-ID: <Pine.LNX.4.64.1202021000020.7297@medsec1.medien.uni-weimar.de>
References: <op.v8w6ptk5ule2fv@douda-yannick>
 <12kegkefstjiy.115bw2vmx23ll.dlg@40tude.net>
 <4f27b5e8$0$6628$9b4e6d93@newsspool2.arcor-online.net>
 <19jyp0vyqkcop$.6oatj9p6pcp1$.dlg@40tude.net>
 <4f27dfa5$0$6570$9b4e6d93@newsspool4.arcor-online.net>
 <12pod8zxdo56v.16pnewlc853au$.dlg@40tude.net>
 <4f280a00$0$6583$9b4e6d93@newsspool3.arcor-online.net>
 <r176484qtwsf.ia6ftfe1d5kh$.dlg@40tude.net>
 <4f284488$0$6634$9b4e6d93@newsspool2.arcor-online.net>
 <1wn5azarpihb1.13g4tvu7fddve.dlg@40tude.net>
 <Pine.LNX.4.64.1202011054270.26654@medsec1.medien.uni-weimar.de>
 <k4q0w3hid5t6$.12146xli5l156$.dlg@40tude.net>
 <Pine.LNX.4.64.1202011604270.29918@medsec1.medien.uni-weimar.de>
 <oxvm5rgonh77$.135nqc7uxq9wr$.dlg@40tude.net>
Reply-To: stefan-lucks@see-the.signature
NNTP-Posting-Host: medsec1.medien.uni-weimar.de
Mime-Version: 1.0
X-Trace: tigger.scc.uni-weimar.de 1328173181 12527 141.54.178.228 (2 Feb 2012
 08:59:41 GMT)
X-Complaints-To: news@tigger.scc.uni-weimar.de
NNTP-Posting-Date: Thu, 2 Feb 2012 08:59:41 +0000 (UTC)
X-X-Sender: lucks@medsec1.medien.uni-weimar.de
In-Reply-To: <oxvm5rgonh77$.135nqc7uxq9wr$.dlg@40tude.net>
Content-Type: TEXT/PLAIN; charset=US-ASCII
Date: 2012-02-02T10:01:22+01:00
List-Id: <comp.lang.ada>

On Thu, 2 Feb 2012, Dmitry A. Kazakov wrote:

> The idea of pre-/postcondition is that it tells something about a set of
> programs, of all legal programs actually. If you wanted to narrow that set,
> then, well, you should at least specify that set.

Fine. An incomplete postcondition does give you that. 


-- 
---- Stefan.Lucks (at) uni-weimar.de, University of Weimar, Germany  ----
    <http://www.uni-weimar.de/cms/medien/mediensicherheit/home.html>
------  I  love  the  taste  of  Cryptanalysis  in  the  morning!  ------