ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Vitaly Lugovsky                      2:5080/1003    18 Apr 2003  04:55:49
 To : Yurii Komov
 Subject : Re: Доказательство правильности ПО
 -------------------------------------------------------------------------------- 
 

 Yurii Komov <yuriikomov@mail15.com> wrote:
 
 > Принцип там был такой - каждый Readln считался за входную переменную, Writeln
 > - за выходную, а в каждом If, While, For и т.п. анализировала обе ветви
 
  Тю... Это банальный dataflow analisys. Hе доказательство...
 
 --- ifmail v.2.15dev5
  * Origin: (http://news.cca.usart.ru/) USURT's FidoNET<-> (2:5080/1003@fidonet)
 
 

Вернуться к списку тем, сортированных по: возрастание даты  уменьшение даты  тема  автор