- Automated Code Optimization with E-Graphs
2021/12/26 by Alessandro Cheli, Cheli, Alessandro · 2 voices
Computer Science · Mathematics · #Code generation #Compiler #Compiler construction #Computer science #Distributed and Parallel Computing Systems #Domain (mathematical analysis) #Domain-specific language #Interprocedural optimization #Key (lock) #Logic, programming, and type systems #Loop optimization #Mathematics #Metaprogramming #Operating system #Optimizing compiler #Parallel Computing and Optimization Techniques #Programming language #Rewriting #Theoretical computer science #cs.PL #cs.SC
- Engineering a Compiler
2012/01/01 · 2 citations
Computer Science · Engineering · #Compiler #Compiler construction #Compiler correctness #Computer science #Distributed and Parallel Computing Systems #Engineering #Interprocedural optimization #Loop optimization #Optimizing compiler #Parallel Computing and Optimization Techniques #Programming language #Software Engineering Research #Task (project management)
- Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler
1999/12/01 by Yoshihiko Futamura · 1 citation
Computer Science · #Compiler #Compiler construction #Compiler correctness #Computer science #Interpreter #Interprocedural optimization #Logic, programming, and type systems #Loop optimization #Natural Language Processing Techniques #Optimizing compiler #Programming language #Semantics (computer science) #Software Engineering Research