Нис З. Я. Обеспечение семантической корректности распараллеливающих и оптимизирующих преобразований / З. Я. Нис // Искусств. интеллект. - 2006. - № 4. - С. 220-231. - Библиогр.: 16 назв. - рус.
Описан способ обеспечения статической семантической корректности высокоуровневых распараллеливающих и оптимизирующих преобразований программ. При некоторых условиях на входные фрагменты преобразованные программы могут стать некорректными с точки зрения статической семантики языка. Контролирование таких условий в преобразовании, в которых потенциально может нарушиться статическая семантика, и является предметом обсуждения работы. Описываемый способ может быть полезен разработчикам компиляторов.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"