Automatic Type-Driven Library

ABSTRACT
Telescoping languages is a strategy to automatically gen-
erate highly-optimized domain-specific libraries. The key
idea is to create specialized variants of library procedures
through extensive offline processing. This paper describes
a telescoping system, called ARGen, which generates high-
performance Fortran or C libraries from prototype Matlab
code for the linear algebra library, ARPACK. ARGen uses
variable types to guide procedure specializations on possible
calling contexts.
ARGen needs to infer Matlab types in order to speculate
on the possible variants of library procedures, as well as to
generate code. This paper shows that our type-inference sys-
tem is powerful enough to generate all the variants needed
for ARPACK automatically from the Matlab development
code. The ideas demonstrated here provide a basis for build-
ing a more general telescoping system for Matlab.