Patent ID: 7086040
Filing Date: 2006-08-01
Classification: G06F

Abstract:
1. A computer-implemented method for inferring, prior to run-time, an array shape of a result of a program expression of a high-level array-based language, the method comprising: arranging an extent for each array dimension of each operand of the program expression of the high-level array-based language when the size of at least one of said each operand is unknown into an input shape-tuple of said each operand; identifying a program operator associated with said each operand in the program expression; mapping the program operator to an associated shape-tuple operator, wherein the shape-tuple operator is based upon the shape semantics of the program operator; and, inferring, prior to run-time, an array shape-tuple of the result of the program expression by creating a shape-tuple expression comprising the input shape-tuple of said each operand and the shape-tuple operator.