课题基金 / 基金详情

Deepening of a self-extendable software verification system based on class theory

Deepening of a self-extendable software verification system based on class theory
基于类理论的可自扩展软件验证系统的深化
批准号：
17H01724
负责人：
Sato Masahiko
金额：
$11.65万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2021-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17H01724/
关键词：
クラス理論型理論証明検証ソフトウェアの安全性仕様記述・検証証明支援系

项目摘要

项目成果

Sato Masahiko的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Module Generation without Regret
无悔模块生成
DOI： 10.1145/3372884.3373160
发表时间： 2020
期刊： Proc. of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
影响因子： --
作者： [uhi Sato, Yukiyoshi Kameyama, Takahisa Watanabe]
通讯作者： Takahisa Watanabe
Staging with control: type-safe multi-stage programming with control
带控制的分段：带控制的类型安全多阶段编程
DOI： 10.1145/3136040.3136049
发表时间： 2017
期刊： Proceedings of the 16th {ACM} {SIGPLAN} International Conference on Generative Programming: Concepts and Experiences (GPCE 2017)
影响因子： --
作者： [Yoko Sogabe, Tsutomu Maruyama, Masayuki Suzuki and Maruyama Tsutomu, Takahisa Watanabe and Yukiyoshi Kameyama, Junpei Oishi and Yukiyoshi Kameyama]
通讯作者： Junpei Oishi and Yukiyoshi Kameyama
証明支援系と型理論
证明支持系统和类型理论
DOI： --
发表时间： 2020
期刊： 科学哲学
影响因子： --
作者： [Koji Nakazawa, Ken-etsu Fujita, and Yuta Imagawa, 佐藤雅彦]
通讯作者： 佐藤雅彦
依存型を備えた多段階計算の同値型による拡張
使用等价类型的依赖类型扩展多级计算
DOI： --
发表时间： 2020
期刊：
影响因子： --
作者： [Satoru Kawahara, Yukiyoshi Kameyama, 勝田峻太朗，五十嵐淳]
通讯作者： 勝田峻太朗，五十嵐淳
共 12 条
    The Martian magnetic field intensity estimation based on the magnetic properties of exsolved magnetite
    • 批准号：
      19K14777
    • 项目类别：
      Grant-in-Aid for Early-Career Scientists
    • 资助金额：
      $2.75万
    • 财政年份：
      2019
    • 负责人：
      Sato Masahiko
    • 依托单位：
      The University of Tokyo
    Proof theoretic and semantical study of Fregean Logic
    • 批准号：
      16K13150
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $2.16万
    • 财政年份：
      2016
    • 负责人：
      Sato Masahiko
    • 依托单位：
      Kyoto University
    Paleointensity experiment using zircon crystal sampled from river sand: toward reconstruction of magnetic field variation during last 4 Ga
    Construction of a self-extendable software verification system based on class theory
    • 批准号：
      25280025
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $11.23万
    • 财政年份：
      2013
    • 负责人：
      Sato Masahiko
    • 依托单位：
      Kyoto University
    海外基金