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