Лекция 3 марта

Состоялась лекция «Расширение блок-схем и методов Флойда на поддержку вызова других блок-схем». Были рассмотрены следующие вопросы:

  • расширенная модель программы: блок-схемы, вызывающие другие блок-схемы;
  • идея раздельного доказательства корректности вызывающей и вызываемых блок-схем;
  • понятие сигнатуры блок-схемы;
  • оператор CALL вызова блок-схемы;
  • означивание блок-схем сигнатурам (функция μ(s));
  • спецификация сигнатур блок-схем (функция γ(s));
  • условие корректности вызова блок-схемы;
  • модифицированные определения частичной и полной корректности.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *