课题基金 / 基金详情

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

Pushing the Frontier with Dependently Typed Programming in High-Level Structures
通过高级结构中的依赖类型编程推动前沿
批准号：
262144-2012
负责人：
Kahl, Wolfram
金额：
$1.02万
依托单位：
McMaster University
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2014
资助国家：
加拿大
项目状态：
已结题
起止时间：
2014-01-01 至 2015-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=548000
关键词：
PushingFrontierDependentlyTypedProgramming

项目摘要

项目成果

Kahl, Wolfram的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Towards "Mouldable Code" as a Better Approach to Synthesis of Efficient and Correct Software
  • 批准号：
    RGPIN-2017-05684
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.91万
  • 财政年份：
    2021
  • 负责人：
    Kahl, Wolfram
  • 依托单位：
    McMaster University
Towards "Mouldable Code" as a Better Approach to Synthesis of Efficient and Correct Software
  • 批准号：
    RGPIN-2017-05684
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.46万
  • 财政年份：
    2020
  • 负责人：
    Kahl, Wolfram
  • 依托单位：
    McMaster University
Towards "Mouldable Code" as a Better Approach to Synthesis of Efficient and Correct Software
  • 批准号：
    RGPIN-2017-05684
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.46万
  • 财政年份：
    2019
  • 负责人：
    Kahl, Wolfram
  • 依托单位：
    McMaster University
Towards "Mouldable Code" as a Better Approach to Synthesis of Efficient and Correct Software
  • 批准号：
    RGPIN-2017-05684
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.46万
  • 财政年份：
    2018
  • 负责人：
    Kahl, Wolfram
  • 依托单位：
    McMaster University
海外基金