课题基金 / 基金详情

New development of research on bug-free software construction environment

New development of research on bug-free software construction environment
无缺陷软件构建环境研究新进展
批准号：
22300008
负责人：
SATO Masahiko
金额：
$11.48万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2010
资助国家：
日本
项目状态：
已结题
起止时间：
2010 至 2012
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22300008/
关键词：
ソフトウェア検証クラス理論ソフトウェアの安全性型理論項書換自然枠組ソフトウェア開発メタ言語メタ理論式の理論抽象操作

项目摘要

项目成果

SATO Masahiko的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
We started our research by setting the goal of realizing acomputer environment for developing bug-free softwares, so that we can guarantee thesafety of computer software. We have achieved the goal by implementing a prototypesystem. In particular, as a part of the system, we implemented a programming languagewhich can be used to reason about the properties of the system itself. The interfacebetween the user and the system is also implemented by this programming language.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Viewing lambda-termsthrough maps
通过地图查看 lambda 项
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [Takeshi Tsukada, Atsushi Igarashi, Shunichi Yamashita, 阿部修司, 原田一宏, サエンコ ウラジミール, 佐藤 雅彦]
通讯作者： 佐藤 雅彦
External and internal syntax of the λ-calculus
λ 演算的外部和内部语法
DOI： --
发表时间： 2010
期刊： Journal of Symbolic Computation
影响因子： 0.7
作者： [Masahiko Sato, Randy Pollack]
通讯作者： Randy Pollack
A Canonical Local Representation of Binding
绑定的规范局部表示
DOI： 10.1007/s10817-011-9229-y
发表时间： 2012
期刊： Journal of Automated Raesoning
影响因子： --
作者： [藤浦祥雅, 大久保弘崇, 粕谷英人, 山本晋一郎, Randy Pollack]
通讯作者： Randy Pollack
Type checking and typability in domain-free lambda calculi
无域 lambda 演算中的类型检查和可打字性
DOI： 10.1016/j.tcs.2011.06.020
发表时间： 2011
期刊： Theoretical Computer Science
影响因子： 1.1
作者： [K.Nakazawa, M.Tatsuta, Y.Kameyama, H.Nakano]
通讯作者： H.Nakano
共 12 条
    Heat transfer characteristics of cutting tool and workpiece surfaces under cryogenic cooling conditions and optimum supply conditions of coolant
    • 批准号：
      19K04125
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.75万
    • 财政年份：
      2019
    • 负责人：
      SATO Masahiko
    • 依托单位：
      Tottori University
    Development and craft materials, which can draw various ideas from only a few of the materials
    • 批准号：
      23653280
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $0.67万
    • 财政年份：
      2011
    • 负责人：
      SATO Masahiko
    • 依托单位：
      Hokkaido University of Education
    Transient temperature variation in the tool surface layer in interrupted cutting and the effect of thermochemical reactivity on tool wear
    • 批准号：
      21560124
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.08万
    • 财政年份：
      2009
    • 负责人：
      SATO Masahiko
    • 依托单位：
      Tottori University
    Software development environment based on integration of computation and logic
    • 批准号：
      19300007
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $8.74万
    • 财政年份：
      2007
    • 负责人：
      SATO Masahiko
    • 依托单位：
      Kyoto University