课题基金 / 基金详情

Adaptive static analysis for high-level languages applied to abstract profiling of programs

Adaptive static analysis for high-level languages applied to abstract profiling of programs
应用于程序抽象分析的高级语言自适应静态分析
批准号：
288345-2007
负责人：
Dubé, Danny
金额：
$1.58万
依托单位：
Université Laval
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2008
资助国家：
加拿大
项目状态：
已结题
起止时间：
2008-01-01 至 2009-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=395809
关键词：
Adaptivestaticanalysislevellanguages

项目摘要

项目成果

Dubé, Danny的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The main axis of the proposed research consists in continuing research on adaptive static analyses.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Improving the implementation of high-level languages
  • 批准号：
    288345-2010
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.09万
  • 财政年份：
    2014
  • 负责人：
    Dubé, Danny
  • 依托单位：
    Université Laval
Improving the implementation of high-level languages
  • 批准号：
    288345-2010
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.09万
  • 财政年份：
    2013
  • 负责人：
    Dubé, Danny
  • 依托单位：
    Université Laval
Improving the implementation of high-level languages
  • 批准号：
    288345-2010
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.09万
  • 财政年份：
    2012
  • 负责人：
    Dubé, Danny
  • 依托单位：
    Université Laval
Improving the implementation of high-level languages
  • 批准号：
    288345-2010
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.09万
  • 财政年份：
    2011
  • 负责人：
    Dubé, Danny
  • 依托单位：
    Université Laval
国内基金
海外基金
黎曼流形上的Ricci Soliton及几何结构研究
  • 批准号：
    11401179
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    23.0万元
  • 批准年份：
    2014
  • 负责人：
    马冰清
  • 依托单位：
    河南师范大学
静动态损伤问题的基面力元法及其在再生混凝土材料细观损伤分析中的应用
  • 批准号：
    11172015
  • 项目类别：
    面上项目
  • 资助金额：
    58.0万元
  • 批准年份：
    2011
  • 负责人：
    彭一江
  • 依托单位：
    北京工业大学