E-graphs


Topic | v1 | created by jjones |
Description

An e-graph compactly represents many equivalent programs.


Relations

a subtopic of Computer science

Computer science is the study of computation and information. Computer science deals with theory of c...


Edit topic New topic

Resources

No beginner resources matching your criteria have been registered, yet.

No intermediate resources matching your criteria have been registered, yet.

No advanced resources matching your criteria have been registered, yet.

is treated in Concepts: e-graphs and equality saturation

An e-graph is a data structure that powers the equality saturation optimization technique. Both e-...