Справочник по Ada 95
Раздел 6: Подпрограммы
Подпрограмма — это программная единица или встроенная операция, выполнение которой вызывается с помощью вызова подпрограммы. Существуют два типа подпрограмм: процедуры и функции. Вызов процедуры — это оператор; вызов функции — это выражение и возвращает значение. Определение подпрограммы может быть представлено в двух частях: объявление подпрограммы, определяющее её интерфейс, и тело_подпрограммы, определяющее её выполнение. Операторы и литералы перечислений являются функциями.
Вызываемый объект — это подпрограмма или точка входа (см. раздел 9). Вызываемый объект вызывается с помощью вызова; то есть, вызова подпрограммы или вызова точки входа. Вызываемый конструкт — это конструкт, определяющий действие вызова над вызываемым объектом: тело_подпрограммы, тело_точки_входа или оператор_приёма.