В статье описывается способ обеспечения статической семантической корректности высокоуровневых распараллеливающих и оптимизирующих преобразований программ. При некоторых условиях на входные фрагменты преобразованные прогаммы могут стать некорректными с точки зрения статической симантики языка.
