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