15.1.3. Языки и технология программирования

Стандарт устанавливает следующие основные понятия языков и технологий программирования.

Язык программирования. Формализованный язык, предназначенный для опи­сания алгоритмов решения задач на ЭВМ.

Алгоритмический язык. Искусственный язык, предназначенный для выражения алгоритмов.

Проблемно-ориентированный язык. Язык программирования, соответствую­щий понятиям определенного класса прикладных задач. Обычно он имеет набор специфических изобразительных средств.

Исходный язык. Язык программирования, который используется для первично­го представления программы.

Машинный язык. Предназначен для представления программ в форме, позво­ляющей выполнять их непосредственно в СОИ без использования трансляторов, компиляторов и интерпретаторов.

Автокод. Символьный язык программирования, предложения которого по сво­ей структуре подобны командам и обрабатываемым данным конкретного машинного языка.

Язык ассемблера. Представляет собой символьную форму машинного языка с рядом возможностей, характерных для языков высокого уровня. Язык ассемблера обычно включает в себя макрокоманды.

Ассемблер. Программа или техническое средство, выполняющее ассем­блирование.

Ассемблирование. Компиляция программ с языка ассемблера.

520 Программная документация

Язык высокого уровня. Язык программирования, понятия и структура которого удобны для восприятия человеком.

Декларативный язык. Язык программирования для выражения определений, например, язык описания данных.

Объектно-ориентированный язык. Соответствует концепциям объектно-ориентированного программирования.

Процедурный язык. Язык программирования, в котором действия над данными выражаются в терминах последовательностей команд.

Функциональный язык. Язык программирования, в котором действия над дан­ными выражаются в виде обращений к функциональным процедурам.

Транслятор. Программа или техническое средство, выполняющее трансляцию программы. Кроме этого, он диагностирует ошибки, формирует словари идентифи­каторов, выдает на печать тексты программы.

Трансляция программы. Преобразование программы, представленной одним языком, в программу на другом языке, равнозначную первой.

Компилятор. Программа или техническое средство, выполняющее компиля­цию.

Компиляция. Трансляция программы из языка высокого уровня в форму, близ­кую к программе машинным языком.

Интерпретация. Последовательное считывание команд исходной программы из оперативной памяти, компиляция их машинным языком и выполнение.

Интерпретатор. Программа или техническое средство, выполняющие интер­претацию.

Редактор связей. Программа, предназначенная для создания загрузочных мо­дулей на основе объектных модулей.

Библиотека программ. Организованная совокупность программ или их частей. Библиотеку программ часто называют в соответствии с природой содержащихся в ней элементов.

Спецификация программы. Формализованное представление требований к разрабатываемой программе.

Верификация программы. Доказательство того, что поведение программы со­ответствует ее спецификации.