collaborators

1 paper

cs.PL2021

Caviar: An E-graph Based TRS for Automatic Code Optimization

Smail Kourta, Adel Namani, Fatima Benbouzid-Si Tayeb +4

Term Rewriting Systems (TRSs) are used in compilers to simplify and prove expressions. State-of-the-art TRSs in compilers use a greedy algorithm that applies a set of rewriting rul…