E-graphs

Topic history | v1 (current) | created by jjones

Details

E-graphs

| created by jjones | Add topic "E-graphs"
Title
E-graphs
Description
An e-graph compactly represents many equivalent programs.
Link
https://egraphs-good.github.io/

resources

treated in Concepts: e-graphs and equality saturation
v1 | attached by jjones | Add topic "E-graphs"

authors

This topic has no history of related authors.

topics

subtopic of Computer science
v1 | attached by jjones | Add topic "E-graphs"