Programming Group
@prg-grp.bsky.social
Programming Group at the University of St. Gallen - School of Computer Science
Prof. Guido Salvaneschi
https://programming-group.com
Prof. Guido Salvaneschi
https://programming-group.com
Reposted by Programming Group
In the paper you'll also find an abstract and extensible theoretic framework of e-graphs designed for two goals:
1) making it easier to formalize and prove theorems about extensions,
2) covering as many implementation (tricks) as we are aware of.
1) making it easier to formalize and prove theorems about extensions,
2) covering as many implementation (tricks) as we are aware of.
January 21, 2025 at 6:33 PM
In the paper you'll also find an abstract and extensible theoretic framework of e-graphs designed for two goals:
1) making it easier to formalize and prove theorems about extensions,
2) covering as many implementation (tricks) as we are aware of.
1) making it easier to formalize and prove theorems about extensions,
2) covering as many implementation (tricks) as we are aware of.
Reposted by Programming Group
In my talk I hope to convince you that disequalities deserve some love too.
I'll show, not one, not two, but three (four in the paper) ways to extend your e-graphs to support them. I'll show you which tools use what, and I'll tell you which is better.
I'll show, not one, not two, but three (four in the paper) ways to extend your e-graphs to support them. I'll show you which tools use what, and I'll tell you which is better.
January 21, 2025 at 6:33 PM
In my talk I hope to convince you that disequalities deserve some love too.
I'll show, not one, not two, but three (four in the paper) ways to extend your e-graphs to support them. I'll show you which tools use what, and I'll tell you which is better.
I'll show, not one, not two, but three (four in the paper) ways to extend your e-graphs to support them. I'll show you which tools use what, and I'll tell you which is better.