Верификаторы, способные доказать, что программа, принадлежащая некоторому классу программ, не разрушает память, служат:
Код, для которого верификатор доказал, что он не разрушает память:
Код, для которого верификатор может доказать, что он не разрушает память:
Процесс автоматического доказательства того, что этот код не разрушает память - это:
Каждый процесс в Windows запускается в своем виртуальном адресном пространстве размером в:
Две разнесенные во времени и пространстве фазы процесса компиляции программ технологии ANDF - это?
Если на одном из процессоров в многопроцессорной системе работает поток с меньшим приоритетом, то последний вытесняется:
Эффективность использования процессора можно было бы повысить, если бы существовала возможность выполнять код программы:
Порождение текста C#-программы и компиляция этой программы с помощью компилятора C#, доступного через библиотеку классов .NET является:
По спецификации CLI память для объектов, используемых в программе, выделяется в: