Оценочная оптимизация для магии алгебра и реализация

       

CM-преобразования с использованием


?-полусоединения: В следующем правиле преобразования фиксируется базовый шаг CM-перезаписи [SS94]:

где ?2 включает только атрибуты из attrs(F)

attrs(E1), и E1’ и E2’ определяются ниже:

Мы называем это преобразование шагом ограничительного магического преобразования (Constraint Magic Transformation, CMT). Шаг CMT может быть порожден из более простых правил преобразования; подробности представлены в [SSS95].



Содержание раздела