课题基金 / 基金详情

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

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)遅延評価名前呼び必要呼びプログラム検証評価戦略λ計算セキュリ

项目摘要

项目成果

Sumii Eijiro的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Specialization of Generic Array Accesses After Inlining
内联后通用数组访问的专门化
DOI： --
发表时间： 2015
期刊： The Ocaml Users and Developers Workshop (talk abstracts)
影响因子： --
作者： [Ryohei Tokuda, Eijiro Sumii]
通讯作者： Eijiro Sumii
Sized Linear Algebra Package (SLAP)
大小线性代数包 (SLAP)
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Progress report: Ruby 3における静的型解析の実現に向けて
进度报告：迈向 Ruby 3 中静态类型分析的实现
DOI： --
发表时间： 2019
期刊：
影响因子： --
作者： [遠藤 侑介, 松本 宗太郎, 上野 雄大, 住井 英二郎, 松本 行弘]
通讯作者： 松本 行弘
ブロックチェーン合意形成プロトコルのCoqによる証明からのコード抽出
区块链共识协议 Coq 证明的代码提取
DOI： --
发表时间： 2019
期刊：
影响因子： --
作者： [木村 朝輝, 住井 英二郎]
通讯作者： 住井 英二郎
共 12 条
    New reational program semantics based on the notion of continuations and contexts
    • 批准号：
      16K12409
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $2.33万
    • 财政年份：
      2016
    • 负责人：
      Sumii Eijiro
    • 依托单位：
      Tohoku University
    海外基金