Paper Info
Title
Computing array shapes in MATLAB
Abstract
This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array's shape is desirable because it empowers better compilation and interpretation; specifically, knowing an array's shape could permit reductions in the number of run-time array conformability checks, enable memory preallocation optimizations, and facilitate the in-lining of "scalarized" code. This paper describes how the shape of a MATLAB expression can be determined statically, based on a methodology of systematic matrix formulations. The approach capitalizes on the algebraic properties that underlie MATLAB's shape semantics and exactly captures the shape that the MATLAB expression assumes at run time. Some of the highlights of the approach are its applicability to a large class of MATLAB functions and its uniformity. Our methods are compared with the previous shadow variable scheme, and we show how the algebraic view allows inferences not deduced by the traditional approach.
Year
DOI
Venue
2001
10.1007/3-540-35767-X_26
LCPC
Keywords
Field
DocType
traditional approach,shape semantics,approach capitalizes,algebraic property,paper deal,computing array,better compilation,matlab function,algebraic view,matlab expression,run-time array conformability check
Shadow,Algebraic number,MATLAB,Inference,Computer science,Matrix (mathematics),Algebraic method,Algorithm,Theoretical computer science,Algebraic properties,Semantics
Conference
Volume
ISSN
ISBN
2624
0302-9743
3-540-04029-3
Citations 
PageRank 
References 
3
0.49
8
Authors
3
Name
Order
Citations
PageRank
Pramod G. Joisha110110.01
u nagaraj shenoy2554.77
Prithviraj Banerjee32763337.99