Theory of Higher-Order Typed Programs based Software Contracts
Theory of Higher-Order Typed Programs based Software Contracts
基于软件契约的高阶类型程序理论
批准号：
25280024
负责人：
Igarashi Atsushi
金额：
$11.56万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(20)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
不変条件生成装置，コンピュータプログラム，不変条件生成方法，プログラムコード製造方法
不变条件生成装置、计算机程序、不变条件生成方法、程序代码制作方法
不变条件生成装置、计算机程序、不变条件生成方法、程序代码制作方法
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[]
通讯作者：
{高階契約を持つプログラミング言語に対するトレース意味論
{跟踪具有高阶契约的编程语言的语义
{跟踪具有高阶契约的编程语言的语义
DOI：
--
发表时间：
2015
期刊：
第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)論文集
影响因子：
--
作者：
[村井 涼, 中澤 巧爾, 五十嵐 淳]
通讯作者：
五十嵐 淳
Formal Verification of Software, Continuous, and Hybrid Systems – Or: How Do We Verify Our Program is Correct?
软件、连续和混合系统的形式验证
软件、连续和混合系统的形式验证
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Hoshiba, M. and Y. Nishimae, Kohei Suenaga]
通讯作者：
Kohei Suenaga
Lambda Calculi and Confluence from A to Z
从 A 到 Z 的 Lambda 演算和 Confluence
从 A 到 Z 的 Lambda 演算和 Confluence
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Satoyuki Tanaka, Daisuke Yanagihara, Aya Yasuoka, Minoru Harada, Shigenobu Okazawa, Masahiko Fujikubo and Tetsuya Yao, Koji Nakazawa]
通讯作者：
Koji Nakazawa
顕在的契約計算における代数的データ型
显式合约计算中的代数数据类型
显式合约计算中的代数数据类型
DOI：
--
发表时间：
2014
期刊：
第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)オンライン論文集
影响因子：
--
作者：
[関山太朗, 西田雄気, 五十嵐淳]
通讯作者：
五十嵐淳
共 16 条