课题基金 / 基金详情

Type-based program verification

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

项目摘要

项目成果

Monnier, Stefan的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(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
  • 负责人：
    夏万顺
  • 依托单位：
    浙江大学