MAGICA: A Software Tool for Inferring Types in MATLAB
Pramod G. Joisha, Prithviraj Banerjee
Abstract
MAGICA (MAthematica system for General-purpose Inferring and
Compile-time Analyses) is an extensible inference engine that can
determine the types (value range, intrinsic type and array shape) of
expressions in a MATLAB program. Written as a Mathematica application,
it is designed as an add-on module that any MATLAB compiler
infrastructure can use to obtain high-quality type inferences.
MAGICA is currently available for public download from
The
MAGICA Home Page.
Gzipped Postscript version of the
paper