Now showing items 1-2 of 2
Type-based specialization in a telescoping compiler for Matlab
This thesis develops telescoping-language technology for automatically generating high performance libraries from development code written in high-level languages, like Matlab. The generated library subroutines have ...
A type-based prototype compiler for telescoping languages
Scientists want to encode their applications in domain languages with high-level operators that reflect the way they conceptualize computations in their domains. Telescoping languages calls for automatically generating ...