Development of theory and application of programming based on higher-order/typed calculi

基于高阶/类型演算的编程理论和应用的发展

• 批准号: 15H02681
• 负责人: Sumii Eijiro
• 金额: $ 11.4万
• 依托单位: Tohoku University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2015
• 资助国家: 日本
• 起止时间: 2015-04-01 至 2020-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15H02681/
• 关键词: プログラミング言語理論; 関数型プログラミング; 高階計算・λ計算（ラムダ計算）; 型システム; 情報セキュリティ・情報流解析; 並行・分散計算; 形式的（機械的）定理証明・検証; 環境双模倣; セキュリティ; 並行計算; ソフトウェア基礎; 関数型言語; 必要呼び評価戦略; 関数型プログラミング言語; セキュリティ型つきλ計算; 非機密化(declassification); 遅延評価; 名前呼び; 必要呼び; プログラム検証; 評価戦略; λ計算; セキュリ

项目成果

Specialization of Generic Array Accesses After Inlining

内联后通用数组访问的专门化

• 发表时间: 2015
• 期刊: The Ocaml Users and Developers Workshop (talk abstracts)
• 作者: Ryohei Tokuda;Eijiro Sumii
• 通讯作者: Eijiro Sumii

Sized Linear Algebra Package (SLAP)

大小线性代数包 (SLAP)

Progress report: Ruby 3における静的型解析の実現に向けて

进度报告：迈向 Ruby 3 中静态类型分析的实现

• 发表时间: 2019
• 作者: 遠藤 侑介;松本 宗太郎;上野 雄大;住井 英二郎;松本 行弘
• 通讯作者: 松本 行弘

ブロックチェーン合意形成プロトコルのCoqによる証明からのコード抽出

区块链共识协议 Coq 证明的代码提取

• 发表时间: 2019
• 作者: 木村 朝輝;住井 英二郎
• 通讯作者: 住井 英二郎

機械学習による関数型ブーリアンプログラムの型推論

使用机器学习进行函数式布尔程序的类型推断

• 发表时间: 2016
• 作者: 阿部 晃典;住井 英二郎
• 通讯作者: 住井 英二郎