Concepts: e-graphs and equality saturation
Resource history | v1 (current) | created by jjones
Details
Concepts: e-graphs and equality saturation
see v1 | created by jjones | Add topic "E-graphs"
- Title
- Concepts: e-graphs and equality saturation
- Type
- Manual
- Created
- no value
- Description
- An e-graph is a data structure that powers the equality saturation optimization technique. Both e-graphs (Gregory Nelson's PhD Thesis, 1980) and equality saturation (Tate et. al., 2009) were invented before. This tutorial will approach these concepts at a high level.
- Link
- https://docs.rs/egg/0.6.0/egg/tutorials/_01_background/index.html
- Identifier
- no value
authors
This resource has no history of related authors.