ТЕРМИНЫ И ОБОЗНАЧЕНИЯ
Ассоциативный список – список пар, предназначенный для хранения соответствия между именами и их определениями (значения переменных, констант, определения функций).
Атом – данное, не разделяемое на части средствами ЯП.
Дамп – резервная память для хранения промежуточных результатов, которые могут понадобиться при дальнейших вычислениях.
Деструктивные операции – выполняются на памяти операндов, что может повлечь потерю данных.
Замыкание функции – конструкция из определения функции и таблицы значений используемых в ней свободных переменных.
Клауза – предикат и соответствующая ему ветвь для вывода цели вычисления.
Ленивое вычисление – отложенное действие, выполняемое лишь если оно необходимо для получения результата.
Мера организованности программы – зависимость объѐма отладки модифицируемой программы от объѐма вносимых изменений.
Монада – вспомогательная семантическая система ЯП со своими правилами выполнения действий и вычисления функций.
Область видимости имѐн – участки программы, на которых имена имеют определение.
Показатель отлаженности программы – частота обнаружения дефектов в программе или длина интервала между внесением исправлений в программу.
Псевдо-функции – кроме значения производят дополнительные действия.
Рабочие переменные – видимы в пределах блока.
Раздельная компиляция – методика создания кода частей программы для их многократного использования в других программах.
Ранг работоспособности программы – полнота множества возможных данных, на которые программа реагирует разумно.
Реализационное замыкание ЯП – расширение определения ЯП, создаваемое для его эффективной реализации.
Свободные переменные – получают значение или определение вне задаваемого фрагмента.
Семантическая декомпозиция – разложение определения на части, смысл каждой из которых может быть выражен на естественном языке.
Do'stlaringiz bilan baham: |
