Show simple item record

dc.contributor.authorMcCosh, Cheryl
dc.date.accessioned 2017-08-02T22:02:59Z
dc.date.available 2017-08-02T22:02:59Z
dc.date.issued 2003-01-17
dc.identifier.urihttps://hdl.handle.net/1911/96309
dc.description.abstract This thesis develops telescoping-language technology for automatically generating high performance libraries from development code written in high-level languages, like Matlab. The generated library subroutines have pre-optimized variants based on possible uses of the library. Specifically, a specialized variant is generated for each possible type configuration on inputs to the library. This thesis develops an efficient graph-theoretical, constraint-based algorithm for inferring types in Matlab needed for translation into lower-level languages, optimization, and determination of which specialized variants to generate. The algorithm computes type jump functions, which allows it to infer types inter procedurally. To illustrate the power of the technology, this thesis develops ARGen, a system which generates code equivalent to ARPACK, a Fortran linear algebra library, from its Matlab development code. By accomplishing the type inferencing algorithm and ARGen, which uses it, this thesis provides a basis for a general system for telescoping languages.
dc.format.extent 67 pp
dc.language.iso eng
dc.rights You are granted permission for the noncommercial reproduction, distribution, display, and performance of this technical report in any format, but this permission is only for a period of forty-five (45) days from the most recent time that you verified that this technical report is still available from the Computer Science Department of Rice University under terms that include this permission. All other rights are reserved by the author(s).
dc.title Type-Based Specialization in a Telescoping Compiler for Matlab
dc.type Technical report
dc.date.note January 17, 2003
dc.identifier.digital TR03-412
dc.type.dcmi Text
dc.identifier.citation McCosh, Cheryl. "Type-Based Specialization in a Telescoping Compiler for Matlab." (2003) https://hdl.handle.net/1911/96309.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record