Точка - программа
Cтраница 2
Существует три способа возвращения управления в ту точку программы, в которой была вызвана функция. [16]
Предположим, мы хотим обеспечить в некоторой точке программы, чтобы определенный путь расчета выбирался только в случае, когда хотя бы одно из двух условий истинно. [17]
Соответствие между именами и переменными в некоторой точке программы, определяемое ходом выполнения программы. В динамический контекст вызванной процедуры или функции включаются переменные, описанные в вызвавшей процедуре; поэтому соответствие между именем и объектом может быть разным при вызове одной и той же процедуры из разных мест. Динамический контекст используется в интерпретируемых языках и языках функционального программирования; является основным способом организации контекста в языке Лисп. [18]
Соответствие между именами и переменными в некоторой точке программы, определяемое ходом ее выполнения. В динамический контекст вызванной процедуры или функции включаются переменные, описанные в вызвавшей процедуре. [19]
Соответствие между именами и переменными в некоторой точке программы, определяемое описаниями, видимыми в этой точке при трансляции программы. Используется в компилируемых языках программирования. [20]
Предположим, мы хотим обеспечить в некоторой точке программы, чтобы определенный путь расчета выбирался только в случае, когда два условия одновременно истинны. [21]
Оператор AT определяет начало пакета отладки и указывает точку программы, в которой должны быть выполнены операторы, помещенные в данный пакет отладки. [22]
Будем говорить, что величина х живет в точке программы, если в управляющем графе существует путь из входа в вершину, соответствующую оператору, вырабатывающему величину х, далее в вершину Р и, наконец, в вершину S, где величина х используется, причем нигде на этом пути величина х не перевычисляется. Очевидно, что две величины, живущие одновременно в одной точке программы, несовместимы. [23]
Для подтверждения сказанного напомним, что в каждой точке программы текущее значение некоторой переменной, а в общем случае - возможные значения можно однозначно установить только на основе результатов анализа информационных связей в программе. [24]
 |
Блок-схема программы опроса. [25] |
На этом и последующих рисунках буквой W автор отмечает точки программ, в которых могут быть выданы промежуточные результаты обработки. [26]
Программа может предусматривать открытие многих файлов, однако в каждой точке программы может быть только один входной и один выходной потоки данных. Лишь один особый файл user может быть открыт как для чтения, так и для записи. [27]
Для информационной связи операторов, составляющих подпрограмму, с теми точками программы, из которых произведен вызов подпрограммы, используются формальные и фактические параметры. [28]
При каждом безошибочном исполнении отлаживаемой программы с выбранным тестом автоматически отмечаются исполненные точки программы на маршрутах, которые выдаются разработчику при планировании тестирования. Отметка проверяющихся частей структуры программы дает возможность определить и оценить степень проведенной проверки в данном сеансе, а также проконтролировать при окончании отладки выполнение выбранного критерия по проверке маршрутов программы. [29]
Докажем, что при каждом прохождении условия продолжения цикла ( эту точку программы назовем Л) значения переменных X, N и RES связаны соотношениями X Хо, 0 N No, RES XN - N, где Хо и N0 - начальные значения переменных X и N, присвоенные им оператором ввода. Другими словами, мы покажем, что конъюнкция этих условий является так называемым инвариантом цикла. [30]
Страницы: 1 2 3 4