课题基金 / 基金详情

Type based software verification

Type based software verification
基于类型的软件验证
批准号：
298311-2007
负责人：
Monnier, Stefan
金额：
$1.75万
依托单位：
Université de Montréal
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2009
资助国家：
加拿大
项目状态：
已结题
起止时间：
2009-01-01 至 2010-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=427510
关键词：
Typebasedsoftwareverification

项目摘要

项目成果

Monnier, Stefan的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Security and reliability of computer systems has taken a new significance with the development of the Internet and more generally with the use of computers in all parts of our lives. The recent success of Java despite its relative slowness and its use of a memory management technique reputed inefficient (a garbage collector), shows how much the focus has shifted away from performance to robustness and ease of development.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Typer: An exocompiler to program with dependent types
  • 批准号：
    RGPIN-2018-06225
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.35万
  • 财政年份：
    2022
  • 负责人：
    Monnier, Stefan
  • 依托单位：
    Université de Montréal
Typer: An exocompiler to program with dependent types
  • 批准号：
    RGPIN-2018-06225
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.68万
  • 财政年份：
    2021
  • 负责人：
    Monnier, Stefan
  • 依托单位：
    Université de Montréal
Typer: An exocompiler to program with dependent types
  • 批准号：
    RGPIN-2018-06225
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.68万
  • 财政年份：
    2020
  • 负责人：
    Monnier, Stefan
  • 依托单位：
    Université de Montréal
Typer: An exocompiler to program with dependent types
  • 批准号：
    RGPIN-2018-06225
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.68万
  • 财政年份：
    2019
  • 负责人：
    Monnier, Stefan
  • 依托单位：
    Université de Montréal
国内基金
海外基金
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
Incentive and governance schenism study of corporate green washing behavior in China: Based on an integiated view of econfiguration of environmental authority and decoupling logic
  • 批准号：
    --
  • 项目类别：
    外国学者研究基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    YU BYUNGJUN
  • 依托单位：
    上海理工大学管理学院
Exploring the Intrinsic Mechanisms of CEO Turnover and Market Reaction: An Explanation Based on Information Asymmetry
  • 批准号：
    W2433169
  • 项目类别：
    外国学者研究基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    HAOFEI ZHANG
  • 依托单位：
    南开大学金融学院
含Re、Ru先进镍基单晶高温合金中TCP相成核—生长机理的原位动态研究
  • 批准号：
    52301178
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    30.00万元
  • 批准年份：
    2023
  • 负责人：
    夏万顺
  • 依托单位：
    浙江大学