Следуя сложившейся терминологии, всякое упоминание идентификатора переменной в программе назовем вхождени­ем этой переменной. Вхождения подразделяются на два типа: определения — стоящие в левых частях оператора присваива­ния, и использования — все остальные. Будем говорить, что во время работы программы вхождения выполняются, понимая под этим реализацию доступа к памяти либо для считывания, либо для записи значения, в зависимости от типа вхождения.

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

Например, для линейного участка справедливы следующие правила.

1. Вхождения-использования каждого оператора присваива­ния должны выполняться раньше, чем выполнится соответству­ющее вхождение—определение.

2. Два вхождения, реализующие доступ к одной и той же ячейке памяти, хотя бы одно из которых является определени­ем, должны выполняться в том порядке, в котором они распо­ложены в исходном тексте.

Связанные записи

• Пути доступа к данным (0)
• Программно-управляемая виртуальная память (0)
• Четыре базовые процедуры для работы с текстом (0)
• Управление внутренней оперативной памятью (0)
• Структура файловой системы на внешней памяти (1)