Область применения формальных методов преобразования программ и процессов носит название
Подкласс атомов, используемых при именовании неоднократно используемых объектов программы, называется
Компиляция и распараллеливание программ применяются для эффективного исполнения программ
Тип значений обычно отражает
Многие выражения по смыслу используемых в них операций иногда определены при
Множество имен событий, используемых при описании процесса или объекта, называют
Специализация интерпретатора программ
Оптимизирующие преобразования программ
Для удобства отладки программ необходимы
Неэффективность и ненадежность программ обусловлена