41 citations · 41 across the 1 of their papers we have counts for
1 paper
Ross Tate, Michael Stepp, Zachary Tatlock +1
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed to…