A Programming Language That Supports Flexible and Convenient Access Control

一种支持灵活便捷的访问控制的编程语言

• 批准号: 16K00096
• 负责人: Umatani Seiji
• 金额: $ 2.91万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2016
• 资助国家: 日本
• 起止时间: 2016-04-01 至 2019-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16K00096/
• 关键词: プログラミング言語; セキュリティ; アクセス制御; 動的言語; 静的解析; アクセス制御論理; オブジェクト指向言語

项目成果

JVM上の動的言語のための抽象解釈

JVM上动态语言的抽象解释

• 发表时间: 2018
• 作者: 馬谷 誠二;馬谷 誠二
• 通讯作者: 馬谷 誠二

データフロー解析結果を付加した構文木に対するパターンマッチによるコード検査

通过语法树上的模式匹配进行代码检查，并添加数据流分析结果

• 发表时间: 2017
• 作者: 谷口 力斗;馬谷 誠二;鵜川 始陽
• 通讯作者: 鵜川 始陽

仮想環境を考慮した要求駆動型負荷分散

考虑虚拟环境的请求驱动负载均衡

• 发表时间: 2017
• 作者: 谷口 力斗;馬谷 誠二;鵜川 始陽;馬谷 誠二;寄高 啓司，八杉 昌宏，平石 拓，馬谷 誠二;重本 孝太，八杉 昌宏，平石 拓，馬谷 誠二;良本 海，八杉 昌宏，平石 拓，馬谷 誠二
• 通讯作者: 良本 海，八杉 昌宏，平石 拓，馬谷 誠二

Evaluation of an MPI-Based Implementation of the Tascell Task-Parallel Language on Massively Parallel Systems

大规模并行系统上基于 MPI 的 Tascell 任务并行语言实现的评估

• 发表时间: 2016
• 作者: Daisuke Muraoka;Masahiro Yasugi;Tasuku Hiraishi;and Seiji Umatani
• 通讯作者: and Seiji Umatani

JVM上の動的言語のための抽象解釈の実装

在JVM上实现动态语言的抽象解释

• 发表时间: 2019
• 作者: 馬谷 誠二