Семантика оператора “case” - реферат по информатике и телекоммуникациям

 

Тезисы:

  • Определение 11.1. Семантика оператора сase.
  • Действие оператора сase из примера 1 можно было бы описать так.
  • Перепишем эту последовательность вложенных условных операторов в следующем виде.
  • Написать предусловие для оператора.
  • Wp (Scase , b>1) = ((a=1) (a=2) (a=3)).
  • (a=3) (a-c>1) c0)) (a=2) ((a=3) (c0 .
  • Этот предикат называется инвариантом цикла или просто инвариантом.
  • Для цикла из примера 10.1, приведенному на рис.
  • Комментарий после заголовка цикла (строка 8) - { s=Sk : 0 0) = ?
  • Wp (Sase, b>1) .
Читать онлайнСкачать реферат

 

 

Похожие работы:

Еще похожие работы

Предметы

Все предметы »

 

 

Актуальные рефераты по информатике и телекоммуникациям