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