Semantics analysis of programming languages

编程语言的语义分析

基本信息

  • 批准号:
    8990-2001
  • 负责人:
  • 金额:
    $ 2.19万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2006
  • 资助国家:
    加拿大
  • 起止时间:
    2006-01-01 至 2007-12-31
  • 项目状态:
    已结题

项目摘要

No summary - Aucun sommaire
没有总结- Aucun sommaire

项目成果

期刊论文数量(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 }}

Tennent, Robert其他文献

Tennent, Robert的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Tennent, Robert', 18)}}的其他基金

Paramatricity and possible worlds
副母性和可能的​​世界
  • 批准号:
    8990-2007
  • 财政年份:
    2009
  • 资助金额:
    $ 2.19万
  • 项目类别:
    Discovery Grants Program - Individual
Paramatricity and possible worlds
副母性和可能的​​世界
  • 批准号:
    8990-2007
  • 财政年份:
    2008
  • 资助金额:
    $ 2.19万
  • 项目类别:
    Discovery Grants Program - Individual
Paramatricity and possible worlds
副母性和可能的​​世界
  • 批准号:
    8990-2007
  • 财政年份:
    2007
  • 资助金额:
    $ 2.19万
  • 项目类别:
    Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
  • 批准号:
    8990-2001
  • 财政年份:
    2005
  • 资助金额:
    $ 2.19万
  • 项目类别:
    Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
  • 批准号:
    8990-2001
  • 财政年份:
    2004
  • 资助金额:
    $ 2.19万
  • 项目类别:
    Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
  • 批准号:
    8990-2001
  • 财政年份:
    2003
  • 资助金额:
    $ 2.19万
  • 项目类别:
    Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
  • 批准号:
    8990-2001
  • 财政年份:
    2001
  • 资助金额:
    $ 2.19万
  • 项目类别:
    Discovery Grants Program - Individual
Semantics-directed design of programming languages and logics
编程语言和逻辑的语义导向设计
  • 批准号:
    8990-1996
  • 财政年份:
    2000
  • 资助金额:
    $ 2.19万
  • 项目类别:
    Discovery Grants Program - Individual
Semantics-directed design of programming languages and logics
编程语言和逻辑的语义导向设计
  • 批准号:
    8990-1996
  • 财政年份:
    1999
  • 资助金额:
    $ 2.19万
  • 项目类别:
    Discovery Grants Program - Individual
Semantics-directed design of programming languages and logics
编程语言和逻辑的语义导向设计
  • 批准号:
    8990-1996
  • 财政年份:
    1998
  • 资助金额:
    $ 2.19万
  • 项目类别:
    Discovery Grants Program - Individual

相似国自然基金

Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    万元
  • 项目类别:
    合作创新研究团队
Intelligent Patent Analysis for Optimized Technology Stack Selection:Blockchain BusinessRegistry Case Demonstration
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    万元
  • 项目类别:
    外国学者研究基金项目
利用全基因组关联分析和QTL-seq发掘花生白绢病抗性分子标记
  • 批准号:
    31971981
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
基于SERS纳米标签和光子晶体的单细胞Western Blot定量分析技术研究
  • 批准号:
    31900571
  • 批准年份:
    2019
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
利用多个实验群体解析猪保幼带形成及其自然消褪的遗传机制
  • 批准号:
    31972542
  • 批准年份:
    2019
  • 资助金额:
    57.0 万元
  • 项目类别:
    面上项目
基于Meta-analysis的新疆棉花灌水增产模型研究
  • 批准号:
    41601604
  • 批准年份:
    2016
  • 资助金额:
    22.0 万元
  • 项目类别:
    青年科学基金项目
基于个体分析的投影式非线性非负张量分解在高维非结构化数据模式分析中的研究
  • 批准号:
    61502059
  • 批准年份:
    2015
  • 资助金额:
    19.0 万元
  • 项目类别:
    青年科学基金项目
多目标诉求下我国交通节能减排市场导向的政策组合选择研究
  • 批准号:
    71473155
  • 批准年份:
    2014
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
大规模微阵列数据组的meta-analysis方法研究
  • 批准号:
    31100958
  • 批准年份:
    2011
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
基于物质流分析的中国石油资源流动过程及碳效应研究
  • 批准号:
    41101116
  • 批准年份:
    2011
  • 资助金额:
    23.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Phase 1: Metabolite biomarkers of future diabetes in South Asian women diagnosed with gestational diabetes Phase 2: Metabolite profiling of cardiometabolic risk factors in women and children in multiethnic Canadian and global birth cohorts
第一阶段:被诊断患有妊娠糖尿病的南亚女性未来糖尿病的代谢生物标志物第二阶段:加拿大和全球多种族出生队列中妇女和儿童心脏代谢危险因素的代谢分析
  • 批准号:
    491127
  • 财政年份:
    2023
  • 资助金额:
    $ 2.19万
  • 项目类别:
    Fellowship Programs
Programming of Resident Macrophages by the Brain Environment Following Transplantation
移植后大脑环境对常驻巨噬细胞的编程
  • 批准号:
    10790219
  • 财政年份:
    2023
  • 资助金额:
    $ 2.19万
  • 项目类别:
DATA MANAGEMENT FOR CANCER DIAGNOSIS PROGRAM ACTIVITIES
癌症诊断计划活动的数据管理
  • 批准号:
    10849595
  • 财政年份:
    2023
  • 资助金额:
    $ 2.19万
  • 项目类别:
Discovering clinical endpoints of toxicity via graph machine learning and semantic data analysis
通过图机器学习和语义数据分析发现毒性的临床终点
  • 批准号:
    10745593
  • 财政年份:
    2023
  • 资助金额:
    $ 2.19万
  • 项目类别:
Characterizing metabolic variability during pregnancy to understand pathways of in-utero overnutrition: an integrative analysis of metabolomics and lifestyle data
表征妊娠期间的代谢变异性以了解子宫内营养过剩的途径:代谢组学和生活方式数据的综合分析
  • 批准号:
    10913646
  • 财政年份:
    2023
  • 资助金额:
    $ 2.19万
  • 项目类别:
Cellular Programming in Persistent Versus Lytic Viral Infections
持续性病毒感染与裂解性病毒感染中的细胞编程
  • 批准号:
    10557026
  • 财政年份:
    2023
  • 资助金额:
    $ 2.19万
  • 项目类别:
Genomic and Bioinformatic Core
基因组和生物信息学核心
  • 批准号:
    10556539
  • 财政年份:
    2023
  • 资助金额:
    $ 2.19万
  • 项目类别:
Osteoclast programming and reprogramming during osteoclastogenesis
破骨细胞生成过程中的破骨细胞编程和重编程
  • 批准号:
    10776112
  • 财政年份:
    2023
  • 资助金额:
    $ 2.19万
  • 项目类别:
The Evolutionary Basis of the Developmental Course and Etiologies of Anxiety and Disruptive Behaviors during Early Adolescence
青春期早期焦虑和破坏性行为的发展过程和病因的进化基础
  • 批准号:
    10737103
  • 财政年份:
    2023
  • 资助金额:
    $ 2.19万
  • 项目类别:
Mutation Analysis for Software Testing of Programs Written in the Rust Programming Language
Rust 编程语言编写的程序软件测试的变异分析
  • 批准号:
    2894791
  • 财政年份:
    2023
  • 资助金额:
    $ 2.19万
  • 项目类别:
    Studentship
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了