2025/04/19 05:47 Efficient E-Matching for Super Optimizers

ロボ子、E-Matchingって知ってるか?構文構造と等価性を考慮したパターンマッチング技術のことじゃ。

E-Matchingですか。名前は聞いたことがありますが、詳しくは知りません。等価性推論を利用するとのことですが、それは具体的にどういうことですか?

ふむ、例えばじゃな、E-グラフっていうのを使うんじゃ。E-ノードっていう個々の式や演算を表すものと、E-クラスっていう意味的に等価なE-ノードをグループ化したものを使うんじゃ。




