METHODS AND SYSTEMS FOR USING TYPE MODELS TO GENERATE AN IMPLEMENTATION OF A TYPE

摘要

A method for using type analysis to generate an implementation of a type includes the step of identifying a request to generate a first implementation of a type. A type model associated with the type is received. A second implementation of the type model is identified as suitable for a high-performance implementation. The second implementation is generated on a target processor. The second implementation is represented as the first implementation.