Theory of Higher-Order Typed Programs based Software Contracts

基于软件契约的高阶类型程序理论

• 批准号: 25280024
• 负责人: Igarashi Atsushi
• 金额: $ 11.56万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2013
• 资助国家: 日本
• 起止时间: 2013-04-01 至 2017-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25280024/
• 关键词: プログラミング言語; ソフトウェア契約; 計算効果; プログラム検証; トレース意味論; 代入; 限定継続; ゲーム意味論; shift/reset

项目成果

不変条件生成装置，コンピュータプログラム，不変条件生成方法，プログラムコード製造方法

不变条件生成装置、计算机程序、不变条件生成方法、程序代码制作方法

• 发表时间: 2016

{高階契約を持つプログラミング言語に対するトレース意味論

{跟踪具有高阶契约的编程语言的语义

• 发表时间: 2015
• 期刊: 第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)論文集
• 作者: 村井 涼;中澤 巧爾;五十嵐 淳
• 通讯作者: 五十嵐 淳

Formal Verification of Software, Continuous, and Hybrid Systems – Or: How Do We Verify Our Program is Correct?

软件、连续和混合系统的形式验证

• 发表时间: 2015
• 作者: Hoshiba;M. and Y. Nishimae;Kohei Suenaga
• 通讯作者: Kohei Suenaga

Lambda Calculi and Confluence from A to Z

从 A 到 Z 的 Lambda 演算和 Confluence

• 发表时间: 2015
• 作者: Satoyuki Tanaka;Daisuke Yanagihara;Aya Yasuoka;Minoru Harada;Shigenobu Okazawa;Masahiko Fujikubo and Tetsuya Yao;Koji Nakazawa
• 通讯作者: Koji Nakazawa

顕在的契約計算における代数的データ型

显式合约计算中的代数数据类型

• 发表时间: 2014
• 期刊: 第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)オンライン論文集
• 作者: 関山太朗;西田雄気;五十嵐淳
• 通讯作者: 五十嵐淳