Evolution and development of high-level modeling languages integrating programming lanuguage technologies

集成编程语言技术的高级建模语言的演变和发展

• 批准号: 18H03223
• 负责人: Ueda Kazunori
• 金额: $ 10.48万
• 依托单位: Waseda University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2018
• 资助国家: 日本
• 起止时间: 2018-04-01 至 2021-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18H03223/
• 关键词: 高水準モデリング言語; グラフ書換え; ハイブリッドシステム; 制約プログラミング; 発展可能処理系; 発展可能検証系

项目成果

Duracz らの操作的意味論に基づく ハイブリッドシステムの高信頼シミュレータの実装

基于 Duracz 等人的操作语义实现混合系统的可靠模拟器。

• 发表时间: 2019
• 作者: 小嶋翔太;石井大輔
• 通讯作者: 石井大輔

参照を用いたデータ構造の形状のユーザ定義の型に基づく型検査

使用引用基于数据结构形状的用户定义类型进行类型检查

• 发表时间: 2022
• 作者: 佐野 仁;上田 和紀
• 通讯作者: 上田 和紀

グラフの内包記法の実現に向けたLMNtalにおけるメッシュ構造の定義検討

检查LMNtal中网格结构的定义，实现图理解方法

• 发表时间: 2019
• 作者: 田村 滉明;上田 和紀;冨岡 太一
• 通讯作者: 冨岡 太一

純粋型なし・型付きラムダ計算の実用的かつ高機能なインタプリタの実装

实现一个实用且高性能的纯无类型和类型 lambda 演算解释器

• 发表时间: 2018
• 作者: Naoki Yamamoto;Kazunori Ueda
• 通讯作者: Kazunori Ueda

グラフ書換え言語LMNtalにおける閉包計算のマッチング最適化

图重写语言LMNtal中闭包计算的匹配优化

• 发表时间: 2022
• 作者: 今川 連;上田 和紀
• 通讯作者: 上田 和紀