FALCON

From its home page (see below):

FALCON is an environment for the rapid prototyping, development, support, and use of high-performance numerical programs and libraries for scientific computation. It is being developed at the Center for Supercomputing Research and Development, University of Illinois at Urbana-Champaign. This environment combines the software techniques from compilers with the algebraic techniques used by algorithm developers. It uses MATLAB? as the source language and generates Fortran 90 plus directives for parallelization, MATLAB, and pC++ as target languages.

[..]

Main Research Goals Within the FALCON Project

• Developing static and dynamic inference methods to determine variable properties (e.g. type, rank, and shape)
• Using structural information about the variables to improve code performance
• Restructuring the operations by utilizing the algebraic information for the high-level operations
• Developing mappings between primitives
• Mapping operations to multiple target libraries

• FALCON Project Home Page.