Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2006-08-01
2006-08-01
Chaki, Kakali (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S141000, C717S136000, C717S140000
Reexamination Certificate
active
07086040
ABSTRACT:
A method for inferring the shape and dimension of arrays for high-level, array-based languages such as MATLAB is presented. The method uses the algebraic properties that underlie MATLAB's shape semantics and infers the shape that the program expression assumes. In one embodiment, a shape-tuple of the result of a program expression is inferred by creating a shape-tuple expression comprising the shape-tuples of the operands and the shape-tuple operator.
REFERENCES:
patent: 5142681 (1992-08-01), Driscoll et al.
patent: 5278986 (1994-01-01), Jourdenais et al.
patent: 5781779 (1998-07-01), Gilbert et al.
patent: 5943691 (1999-08-01), Wallace et al.
patent: 6016397 (2000-01-01), Ogasawara et al.
patent: 6233540 (2001-05-01), Schaumont et al.
patent: 6675378 (2004-01-01), Schmidt
patent: 2001/0044930 (2001-11-01), Miyata et al.
patent: 2001/0051966 (2001-12-01), Pelton et al.
patent: 2004/0019883 (2004-01-01), Banerjee et al.
Menon et al. “A Case for Source-Level Transformations in MATLAB,” Dec. 1999, ACM, vol. 35 Issue 1, pp. 53-65.
Menon et al., “High-level semantic optimization of numerical codes,” ACM, May 1999, pp. 434-443.
DeRose et al., “Techniques for the translation of MATLAB programs into Fortran 90,” Mar. 1999,ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 21 Issue 2 , pages.
Joisha et al., “Handling Context-Sensitive Syntactic Issues in the Design of a Front-End for a MATLAT Compiler,” APL conference, 4/20.
Shenoy et al., A System-level Synthesis Algorithm with Guaranteed Solution Quality, 2000, ACM.
Rose et al., A MATLAB to Fortran 90 Translator and its Effectiveness, ACM, 1996.
Bouet et al., Shape Representation for Image Retrieval, ACM, 1999.
Haldar et al., match Virtual machine: An Adaptive Runtime System to execute MATLAB in Parallel, IEEE, 2000.
Rose et al., Techniques for the Translation of MATLAB Programs into Fortran 90, ACM, 1999.
Menon et al., A Case for Source-Level Transformation in MATLAB, ACM, Dec. 1999.
Menon et al., High-level Semantic Optimization of Numerical Codes, ACM, 1999.
P. Joisha, A. Kanhere, P. Banerjee, U.N. Shenoy, A. Choudhary; “Handling Context-Sensitive Syntactic Issues in the Design of a Front-End for a MATLAB Compiler”, APL Conference, Berlin Germany, Apr. 2000, 15 pages, Center for Parallel and Distributed Computing.
P. Joisha, U.N. Shenoy, P. Banerjee “An Approach to Array Shape Inferencing in MATLAB” Technical Report No. CPDC-TR-2000-10-010, Oct. 2000, 30 pages, Center for Parallel and Distributed Computing, Northwestern University, Evanston, IL USA.
Banerjee Prithviraj
Joisha Pramod G.
Shenoy Nagaraj
Chaki Kakali
Kang Insun
Northwestern University
The Law Office of Deepti Panchawagh-Jain
LandOfFree
Method for array shape inferencing for a class of functions... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method for array shape inferencing for a class of functions..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for array shape inferencing for a class of functions... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3611373