Concepts: e-graphs and equality saturation


Resource history | v1 (current) | created by jjones

Details

Concepts: e-graphs and equality saturation

| 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.

topics

about E-graphs
v1 | attached by jjones | Add topic "E-graphs"

resources

referenced in Egg: E-Graphs Good | Hacker News
v1 | attached by jjones | Add topic "E-graphs"