首页>
外国专利>
Automatically solving simultaneous type equations for type difference transformations that redesign code
Automatically solving simultaneous type equations for type difference transformations that redesign code
展开▼
机译:自动解决联立类型方程式以重新设计代码的类型差异转换
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method and a system for first, expressing relationships between design contexts as a set of simultaneous parameterized type equations and then, automatically solving those type equations to produce type difference transformations that automatically convert code from one design context to a different design context. For example, a set of solution transforms might redesign code from a simple image convolution expression within a specification context to a set of thread based, parallelized expressions of the convolution designed to fit the “holes” within a design framework from a reusable library. The type equations are expressed in terms a generalization of programming data types (called Context Qualified Types or CQ Types) that may have embedded variable parameters. In addition to programming data type information, CQ Types incorporate design features or concepts that fall outside of the programming data type domain (e.g., a planned program scope or a design skeleton).
展开▼