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
相似国自然基金
花生侧枝角度运动性和可塑性调控的分子机理研究
- 批准号：32372133
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
基于线粒体磷酸化蛋白质组探讨CDK1介导的凡纳滨对虾快速冷耐受表型可塑性调控机制
- 批准号：32302977
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
混合营养型原生生物代谢可塑性对气候变暖和水体富营养化的响应过程及机制
- 批准号：32371625
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
SHP2调控Treg向Th2-like Treg的可塑性转化在变应性鼻炎中的作用与机制研究
- 批准号：82301281
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
ALDOA琥珀酰化修饰通过线粒体动力学调控突触可塑性参与癫痫形成的机制研究
- 批准号：82360268
- 批准年份：2023
- 资助金额：32.2 万元
- 项目类别：地区科学基金项目
相似海外基金
適応的耐性を実現する表現型可塑性と適応進化
表型可塑性和适应性进化以实现适应性抗性
- 批准号：
24H00552 - 财政年份：2024
- 资助金额：
$ 1.46万 - 项目类别：
Grant-in-Aid for Scientific Research (A)
伝達物質放出部位ダイナミクスを軸としたシナプス可塑性の統一的理解
以递质释放位点动态为中心的突触可塑性的统一理解
- 批准号：
24K02125 - 财政年份：2024
- 资助金额：
$ 1.46万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
皮質脳波コネクトーム解析による脳内言語表現の同定と脳切除後の可塑的再構築の解明
通过皮质脑电图连接组分析识别大脑中的语言表征并阐明脑切除后的可塑性重建
- 批准号：
23K24206 - 财政年份：2024
- 资助金额：
$ 1.46万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
幼少期の親和的環境による社会性・ストレス制御神経回路の可塑的変化
童年时期的亲和环境导致社交和压力控制神经回路的可塑性变化
- 批准号：
24K10014 - 财政年份：2024
- 资助金额：
$ 1.46万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
神経過活動による細胞核の構造可塑性とその機能的意義の解明
阐明细胞核的结构可塑性及其对神经元神经活动的功能意义
- 批准号：
24K18222 - 财政年份：2024
- 资助金额：
$ 1.46万 - 项目类别：
Grant-in-Aid for Early-Career Scientists