|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.cplire.ru/Lab144/koi8/02030150.html
Дата изменения: Mon Sep 24 15:06:49 2007 Дата индексирования: Tue Oct 2 03:31:56 2012 Кодировка: koi8-r Поисковые слова: sts-64 |
Целевое утверждение (goal statement) - утверждение, с доказательства которого начинается исполнение программы.
Целевой мир резидента (target world of resident) - один из миров, в которых резидент исполняет заданный вызов функции.
Целевой параметр (target parameter) - переменная или атрибут, обозначающие мир, в котором должен быть исполнен дальний вызов предиката.
Целевой процесс резидента (target process of resident) - один из процессов, состояние которых отслеживает резидент; в состав целевого процесса входят некоторые целевые миры резидента.
ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)