A Language for Describing Optimization Strategies

Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Sergei Gorlatch, and Michel Steuwer

PDF BibTex dblp

Technical Report