Pushing the Frontier with Dependently Typed Programming in High-Level Structures

通过高级结构中的依赖类型编程推动前沿

• 批准号: 262144-2012
• 负责人: Kahl, Wolfram
• 金额: $ 1.02万
• 依托单位: McMaster University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2013
• 资助国家: 加拿大
• 起止时间: 2013-01-01 至 2014-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=525513
• 关键词: Pushing; Frontier; Dependently; Typed; Programming

The goal of this research is to leverage mathematical abstractions to improve software reuse, and to increase software developers' productivity and confidence in the development of software involving complex transformations of deeply nested structures, as they are needed for example in code generation for high-performance computing.

这项研究的目标是利用数学抽象来改进软件重用，并提高软件开发人员在涉及深度嵌套结构的复杂转换的软件开发中的生产力和信心，例如在高性能计算的代码生成中需要它们。