刷新
Towards “Mouldable Code” as a Better Approach to Synthesis of Efficient and Correct Software
将“可塑代码”作为合成高效、正确软件的更好方法
基本信息
- 批准号：RGPIN-2017-05684
- 负责人：
- 金额：$ 1.46万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2017
- 资助国家：加拿大
- 起止时间：2017-01-01 至 2018-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Important parts of the supporting infrastructure for optimising code generators, in particular in compilers, consist of analyses of
用于优化代码生成器的支持基础架构的重要部分，特别是在编译器中，包括对
项目成果
期刊论文数量（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.46万 - 项目类别：
Discovery Grants Program - Individual
Towards "Mouldable Code" as a Better Approach to Synthesis of Efficient and Correct Software
将“可塑代码”作为合成高效、正确软件的更好方法
- 批准号：
RGPIN-2017-05684 - 财政年份：2020
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Towards "Mouldable Code" as a Better Approach to Synthesis of Efficient and Correct Software
将“可塑代码”作为合成高效、正确软件的更好方法
- 批准号：
RGPIN-2017-05684 - 财政年份：2019
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Towards "Mouldable Code" as a Better Approach to Synthesis of Efficient and Correct Software
将“可塑代码”作为合成高效、正确软件的更好方法
- 批准号：
RGPIN-2017-05684 - 财政年份：2018
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Pushing the Frontier with Dependently Typed Programming in High-Level Structures
通过高级结构中的依赖类型编程推动前沿
- 批准号：
262144-2012 - 财政年份：2016
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Pushing the Frontier with Dependently Typed Programming in High-Level Structures
通过高级结构中的依赖类型编程推动前沿
- 批准号：
262144-2012 - 财政年份：2015
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Pushing the Frontier with Dependently Typed Programming in High-Level Structures
通过高级结构中的依赖类型编程推动前沿
- 批准号：
262144-2012 - 财政年份：2014
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Pushing the Frontier with Dependently Typed Programming in High-Level Structures
通过高级结构中的依赖类型编程推动前沿
- 批准号：
262144-2012 - 财政年份：2013
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Pushing the Frontier with Dependently Typed Programming in High-Level Structures
通过高级结构中的依赖类型编程推动前沿
- 批准号：
262144-2012 - 财政年份：2012
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Tool support for relational formalisms in programming and specification
编程和规范中关系形式主义的工具支持
- 批准号：
262144-2007 - 财政年份：2011
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
面向微阵列模具高性能制造的金刚石微细铣削刀具反求设计与形性协同制造
- 批准号：52375400
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
基于微结构抛光头的小口径非球面光学模具磁场增强力流变确定性抛光
- 批准号：52375423
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
纳米析出相与亚晶组织协同调控的模具钢强韧化机理研究
- 批准号：52304359
- 批准年份：2023
- 资助金额：30.00 万元
- 项目类别：青年科学基金项目
加压双联工艺制备新型高等向性高氮热作模具钢的基础研究
- 批准号：52374331
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
高深宽比微模具的二维智能调控振动辅助往复微细电火花线切割加工方法研究
- 批准号：52305491
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
相似海外基金
多層型ハバード模型の具現化による非従来型高温超伝導体の創出
通过实现多层哈伯德模型创建非常规高温超导体
- 批准号：
24K01333 - 财政年份：2024
- 资助金额：
$ 1.46万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
江戸期における表道具の鑑定と模写に関する総合的調査
江户时代餐具鉴定与仿制综合研究
- 批准号：
24K03497 - 财政年份：2024
- 资助金额：
$ 1.46万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
COVID-19 Impacts on Small scale fishery in Cambodia
COVID-19 对柬埔寨小型渔业的影响
- 批准号：
22K12524 - 财政年份：2022
- 资助金额：
$ 1.46万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Towards "Mouldable Code" as a Better Approach to Synthesis of Efficient and Correct Software
将“可塑代码”作为合成高效、正确软件的更好方法
- 批准号：
RGPIN-2017-05684 - 财政年份：2021
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Evaluation of the effectiveness of open-plan type school buildings
开放式校舍效能评估
- 批准号：
21K04402 - 财政年份：2021
- 资助金额：
$ 1.46万 - 项目类别：
Grant-in-Aid for Scientific Research (C)