Операторы сужения и расширения в анализе потока данных
Я реализую алгоритм анализа потока данных ( https://en.wikipedia.org/wiki/Data-flow_analysis) для интервального анализа, используя подход рабочего списка. Однако я не понимаю, когда применять операторы расширения и сужения.
Насколько я понимаю, оператор расширения может использоваться для замены стандартного оператора встречи (также известного как соединение, наименьшая верхняя граница) в алгоритме рабочего списка.
Однако оператор сужения будет другим: он не будет реализован путем настройки алгоритма рабочего списка. Вместо этого оператор сужения будет реализован путем простого применения систем уравнений преобразования. Это означает, что мне нужно реализовать новый алгоритм сужения (вместо изменения алгоритма рабочего списка).
Может ли кто-нибудь помочь прояснить, правильно ли я понимаю?