Add topic "E-graphs" Accepted
The requested resource couldn't be found.
Changes: 7
-
Add Concepts: e-graphs and equality saturation
- Title
-
- Unchanged
- Concepts: e-graphs and equality saturation
- Type
-
- Unchanged
- Manual
- Created
-
- Unchanged
- no value
- Description
-
- Unchanged
- 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
-
- Unchanged
- https://docs.rs/egg/0.6.0/egg/tutorials/_01_background/index.html
- Identifier
-
- Unchanged
- no value
Resource | v1 | current (v1) -
Add Egg: E-Graphs Good | Hacker News
- Title
-
- Unchanged
- Egg: E-Graphs Good | Hacker News
- Type
-
- Unchanged
- Forum
- Created
-
- Unchanged
- 2021-03-27
- Description
-
- Unchanged
- no value
- Link
-
- Unchanged
- https://news.ycombinator.com/item?id=26587209
- Identifier
-
- Unchanged
- no value
Resource | v1 | current (v1) -
Add E-graphs
- Title
-
- Unchanged
- E-graphs
- Description
-
- Unchanged
- An e-graph compactly represents many equivalent programs.
- Link
-
- Unchanged
- https://egraphs-good.github.io/
Topic | v1 | current (v1) -
Add E-graphs treated in Concepts: e-graphs and equality saturation
- Current
- treated in
Topic to resource relation | v1 -
Add Computer science parent of E-graphs
- Current
- parent of
Topic to topic relation | v1 -
Add Hacker News published Egg: E-Graphs Good | Hacker News
- Current
- published
Author to resource relation | v1 -
Add Concepts: e-graphs and equality saturation referenced in Egg: E-Graphs Good | Hacker News
- Current
- referenced in
Resource to resource relation | v1