Final:Realizing Domain-Specific Compiler Optimizations via Generic Programming

Introduction Contemporary mainstream programming languages offer mechanisms for expressing domain-specific abstractions, but these languages and their compilers fall short in support for optimizing the use of such abstractions. Optimizations rules in compilers are typically hard-coded and apply only for “low-level ” operations of built-in types