From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <hmepas@yauza.ru>
Message-ID: <3E761083.5030705@yauza.ru>
Date: Mon, 17 Mar 2003 21:14:27 +0300
From: "Pavel S. Khmelinsky" <hmepas@yauza.ru>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.0) Gecko/20020606
X-Accept-Language: ru, en
MIME-Version: 1.0
To: sisyphus@altlinux.ru
Subject: Re: [sisyphus] I: new package
References: <Pine.LNX.4.53L.0303160336550.12796@ontil.ihep.su> <3E74394A.1050104@yauza.ru> <Pine.LNX.4.53L.0303170313150.28016@ontil.ihep.su>
Content-Type: text/plain; charset=KOI8-R; format=flowed
Content-Transfer-Encoding: 8bit
Sender: sisyphus-admin@altlinux.ru
Errors-To: sisyphus-admin@altlinux.ru
X-BeenThere: sisyphus@altlinux.ru
X-Mailman-Version: 2.0.9
Precedence: bulk
Reply-To: sisyphus@altlinux.ru
X-Reply-To: hmepas@yauza.ru
List-Unsubscribe: <http://altlinux.ru/mailman/listinfo/sisyphus>,
	<mailto:sisyphus-request@altlinux.ru?subject=unsubscribe>
List-Id: <sisyphus.altlinux.ru>
List-Post: <mailto:sisyphus@altlinux.ru>
List-Help: <mailto:sisyphus-request@altlinux.ru?subject=help>
List-Subscribe: <http://altlinux.ru/mailman/listinfo/sisyphus>,
	<mailto:sisyphus-request@altlinux.ru?subject=subscribe>
List-Archive: <http://altlinux.ru/pipermail/sisyphus/>
Archived-At: <http://lore.altlinux.org/sisyphus/3E761083.5030705@yauza.ru/>
List-Archive: <http://lore.altlinux.org/sisyphus/>

Vitaly Lugovsky wrote:

>On Sun, 16 Mar 2003, Pavel S. Khmelinsky wrote:
>
>  
>
>>>писать доказанно безошибочный код, и побольше!
>>>
>>>В ближайшее время в Сизиф пойдёт и система Krokatoa для
>>>доказательства аннотированного Java-кода.
>>>
>>>
>>>      
>>>
>>А что такое "аннотированный"?
>>    
>>
>
> Комментарии к коду содержат констрейны (e.g., что такой-то
>параметр всегда больше нуля, что переменная x обязана быть больше
>суммы y и z, ну и т.п.).
>
> В качестве примера в Why было доказательство оптимальности
>алгоритма Бейзенхема, рекомендую ознакомиться.
>  
>
Понял, спасибо за разъяснение.

>
>_______________________________________________
>Sisyphus mailing list
>Sisyphus@altlinux.ru
>http://altlinux.ru/mailman/listinfo/sisyphus
>
>
>  
>