4 citations · 5 across the 7 of their papers we have counts for
1 paper · 1 filter
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…