Optimizing software: Computing professor’s ‘egg’ downsizes programs to make them more nimble

← 피드로

E-graphs, originally developed for use in automated theorem provers, are data structures that compactly represent a large number of expressions and the equalities between them. The egg library is a fast and flexible open-source implementation of e-graphs and equality saturation. It has been used in…

원문 보기 ↗