课题基金 / 基金详情

Practical static analysis of object-oriented programs

Practical static analysis of object-oriented programs
面向对象程序的实用静态分析
批准号：
327241-2009
负责人：
Lhotak, Ondrej
金额：
$3.64万
依托单位：
University of Waterloo
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2013
资助国家：
加拿大
项目状态：
已结题
起止时间：
2013-01-01 至 2014-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=526877
关键词：
Practicalstaticanalysisobjectoriented

项目摘要

项目成果

Lhotak, Ondrej的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Program analysis is a technique for proving properties about the possible behaviour of programs when they are executed. It is used by software development tools such as compilers, verification and testing tools, and program visualization tools.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Type Systems and Static Analyses for Programs with Mutable Data
  • 批准号：
    RGPIN-2020-04021
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.5万
  • 财政年份：
    2022
  • 负责人：
    Lhotak, Ondrej
  • 依托单位：
    University of Waterloo
Type Systems and Static Analyses for Programs with Mutable Data
  • 批准号：
    RGPIN-2020-04021
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.5万
  • 财政年份：
    2021
  • 负责人：
    Lhotak, Ondrej
  • 依托单位：
    University of Waterloo
Type Systems and Static Analyses for Programs with Mutable Data
  • 批准号：
    RGPIN-2020-04021
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.5万
  • 财政年份：
    2020
  • 负责人：
    Lhotak, Ondrej
  • 依托单位：
    University of Waterloo
Interprocedural program analysis for modern object-oriented languages
  • 批准号：
    RGPIN-2014-05645
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.93万
  • 财政年份：
    2019
  • 负责人：
    Lhotak, Ondrej
  • 依托单位：
    University of Waterloo
国内基金
海外基金
黎曼流形上的Ricci Soliton及几何结构研究
  • 批准号：
    11401179
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    23.0万元
  • 批准年份：
    2014
  • 负责人：
    马冰清
  • 依托单位：
    河南师范大学
静动态损伤问题的基面力元法及其在再生混凝土材料细观损伤分析中的应用
  • 批准号：
    11172015
  • 项目类别：
    面上项目
  • 资助金额：
    58.0万元
  • 批准年份：
    2011
  • 负责人：
    彭一江
  • 依托单位：
    北京工业大学