Towards "Mouldable Code" as a Better Approach to Synthesis of Efficient and Correct Software

将“可塑代码”作为合成高效、正确软件的更好方法

• 批准号: RGPIN-2017-05684
• 负责人: Kahl, Wolfram
• 金额: $ 2.91万
• 依托单位: McMaster University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2021
• 资助国家: 加拿大
• 起止时间: 2021-01-01 至 2022-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=734496
• 关键词: Towards; Mouldable; Code; Better; Approach

Categorical and relational semantics; Code optimisation for high-performance computing; Correct-by-construction code generation; Correctness of flow graph transformations; Dependently-typed programming; Relation-algebraic flow graph transformation; Software construction from verified components; Transformation of nested control- and data-flow graphs; Verified software development

分类语义和关系语义；高性能计算的代码优化；通过构造正确的代码生成；流程图转换的正确性；依赖类型编程；关系-代数流图变换；由经过验证的组件构建软件；嵌套控制流图和数据流图的转换；经过验证的软件开发