Универсальные языки программирования. Семантический подход.

Аннотация

Обобщены и систематизированы требования к современным языкам программирования (С, Паскаль, Модула, Ада и др.). С единых позиций рассмотрены синтаксис и семантика всех средств описания данных простых (числовых, перечислимых) и структурных (массивы, записи, объединения) типов. С таких же позиций рассмотрены распространенные и перспективные средства описания действий (выражения, операторы действия, операторы последовательного выполнения, условные операторы, операторы цикла, блоки, процедуры, функции, рекурсивные подпрограммы, пакеты), а также методы доказательства правильности программ, описанных этими средствами.