Pushing the Frontier with Dependently Typed Programming in High-Level Structures
通过高级结构中的依赖类型编程推动前沿
基本信息
- 批准号：262144-2012
- 负责人：
- 金额：$ 1.02万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2012
- 资助国家：加拿大
- 起止时间：2012-01-01 至 2013-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
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）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Kahl, Wolfram其他文献
Kahl, Wolfram的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Kahl, Wolfram', 18)}}的其他基金
Towards "Mouldable Code" as a Better Approach to Synthesis of Efficient and Correct Software
将“可塑代码”作为合成高效、正确软件的更好方法
- 批准号：
RGPIN-2017-05684 - 财政年份：2021
- 资助金额：
$ 1.02万 - 项目类别：
Discovery Grants Program - Individual
Towards "Mouldable Code" as a Better Approach to Synthesis of Efficient and Correct Software
将“可塑代码”作为合成高效、正确软件的更好方法
- 批准号：
RGPIN-2017-05684 - 财政年份：2020
- 资助金额：
$ 1.02万 - 项目类别：
Discovery Grants Program - Individual
Towards "Mouldable Code" as a Better Approach to Synthesis of Efficient and Correct Software
将“可塑代码”作为合成高效、正确软件的更好方法
- 批准号：
RGPIN-2017-05684 - 财政年份：2019
- 资助金额：
$ 1.02万 - 项目类别：
Discovery Grants Program - Individual
Towards "Mouldable Code" as a Better Approach to Synthesis of Efficient and Correct Software
将“可塑代码”作为合成高效、正确软件的更好方法
- 批准号：
RGPIN-2017-05684 - 财政年份：2018
- 资助金额：
$ 1.02万 - 项目类别：
Discovery Grants Program - Individual
Towards “Mouldable Code” as a Better Approach to Synthesis of Efficient and Correct Software
将“可塑代码”作为合成高效、正确软件的更好方法
- 批准号：
RGPIN-2017-05684 - 财政年份：2017
- 资助金额：
$ 1.02万 - 项目类别：
Discovery Grants Program - Individual
Pushing the Frontier with Dependently Typed Programming in High-Level Structures
通过高级结构中的依赖类型编程推动前沿
- 批准号：
262144-2012 - 财政年份：2016
- 资助金额：
$ 1.02万 - 项目类别：
Discovery Grants Program - Individual
Pushing the Frontier with Dependently Typed Programming in High-Level Structures
通过高级结构中的依赖类型编程推动前沿
- 批准号：
262144-2012 - 财政年份：2015
- 资助金额：
$ 1.02万 - 项目类别：
Discovery Grants Program - Individual
Pushing the Frontier with Dependently Typed Programming in High-Level Structures
通过高级结构中的依赖类型编程推动前沿
- 批准号：
262144-2012 - 财政年份：2014
- 资助金额：
$ 1.02万 - 项目类别：
Discovery Grants Program - Individual
Pushing the Frontier with Dependently Typed Programming in High-Level Structures
通过高级结构中的依赖类型编程推动前沿
- 批准号：
262144-2012 - 财政年份：2013
- 资助金额：
$ 1.02万 - 项目类别：
Discovery Grants Program - Individual
Tool support for relational formalisms in programming and specification
编程和规范中关系形式主义的工具支持
- 批准号：
262144-2007 - 财政年份：2011
- 资助金额：
$ 1.02万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
基于电波传播先验知识的边境区域无线电发射源定位及应用研究
- 批准号：62361055
- 批准年份：2023
- 资助金额：32 万元
- 项目类别：地区科学基金项目
革新开放（1986）以来老挝边境土地利用变化的地缘政治经济影响量化研究
- 批准号：42371280
- 批准年份：2023
- 资助金额：46 万元
- 项目类别：面上项目
双循环背景下多尺度连通性对边境地区产业升级的作用机制研究
- 批准号：42301198
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
中缅边境恶性疟原虫对双氢青蒿素-哌喹的抗药性研究及该地区恶性疟替代治疗方案探索
- 批准号：32360118
- 批准年份：2023
- 资助金额：32 万元
- 项目类别：地区科学基金项目
跨境交通可达性对边境口岸城市高质量开放的影响机制研究——以内蒙古为例
- 批准号：72364027
- 批准年份：2023
- 资助金额：28 万元
- 项目类别：地区科学基金项目
相似海外基金
Doctoral Dissertation Research: A Syndrome of Care: The New Sciences of Survivorship at the Frontier of Medical Rescue
博士论文研究：护理综合症：医疗救援前沿的生存新科学
- 批准号：
2341900 - 财政年份：2024
- 资助金额：
$ 1.02万 - 项目类别：
Standard Grant
Understanding mosquito smell system: a new frontier in mosquito control
了解蚊子的气味系统：蚊子控制的新领域
- 批准号：
DP240103188 - 财政年份：2024
- 资助金额：
$ 1.02万 - 项目类别：
Discovery Projects
Computational design of frontier materials for sustainable technologies
可持续技术前沿材料的计算设计
- 批准号：
FL230100176 - 财政年份：2024
- 资助金额：
$ 1.02万 - 项目类别：
Australian Laureate Fellowships
Engineered topological nanostructures – a new frontier in materials design
工程拓扑纳米结构——材料设计的新前沿
- 批准号：
DP240100238 - 财政年份：2024
- 资助金额：
$ 1.02万 - 项目类别：
Discovery Projects
Gender and Precarity at the Energy Frontier
能源前沿的性别与不稳定
- 批准号：
EP/Z000661/1 - 财政年份：2024
- 资助金额：
$ 1.02万 - 项目类别：
Research Grant