Ross Tate
- Equality saturation
2009/01/20 by Ross Tate, Michael Stepp, Zachary Tatlock +1 · 5 citations
Computer Science · Mathematics · #Algorithm #Artificial intelligence #Compiler #Computer science #Formal Methods in Verification #Heuristic #Intermediate language #Logic, programming, and type systems #Mathematical optimization #Mathematics #Optimizing compiler #Overhead (engineering) #Program optimization #Programming language #Representation (politics) #Software Testing and Debugging Techniques #Structuring #Theoretical computer science