Изложены некоторые вопросы построения языков программирования высокого
уровня. Приведены различные оценочные критерии и классификации языков.
Дается сравнительный анализ основных императивных языков. Рассмотрены такие
понятия как связывание базового объекта языка – переменной с атрибутами, время
жизни переменной, контроль типов, уровни типизации языка, эквивалентность
типов, области видимости. Описана система типов языка программирования.
Рассматриваются вопросы реализации подпрограмм, абстрактных типов данных,
синтаксиса и семантики языков программирования. Синтаксическое построение
языка излагается в контексте понятий КС-грамматики и БНФ на примерах
арифметических выражений и операторов присваивания. Приводятся правила
вывода для основных операторов языка программирования в терминах
аксиоматической семантики.