RealFeedApp beta
- Техника equality saturation оптимизирует программы через e-graph
Техника оптимизации, основанная на e-graph, стала популярной, но её заменили более эффективные методы. В 2021 году статья egg была отмечена как исследовательская работа года по версии CACM.
- Область
- программирование
- Что сделали
- Исследователи представили обновленную версию метода насыщения эквивалентности (equality saturation), который оптимизирует программы, храня и переписывая большие классы эквивалентных программ в структуре e-graph.
- Зачем это
- Этот метод используется в различных промышленных и академических приложениях для ускорения разработки и оптимизации программного кода.
#equality saturation#e-graph#code optimization#egg#popl
