E-graphs

Topic | v1 | created by jjones |
Edit
bookmark
Description

An e-graph compactly represents many equivalent programs.

Source egraphs-good.github.io
Relations

subtopic of Computer science

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

Edit details Edit relations Attach new author Attach new topic Attach new resource
Resources

treated in Concepts: e-graphs and equality saturation

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