研究課題/領域番号 |
23K11057
|
研究種目 |
基盤研究(C)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分60050:ソフトウェア関連
|
研究機関 | 早稲田大学 |
研究代表者 |
上田 和紀 早稲田大学, 理工学術院, 教授 (10257206)
|
研究分担者 |
山本 直輝 早稲田大学, 理工学術院, 助手 (50960308)
|
研究期間 (年度) |
2023-04-01 – 2026-03-31
|
研究課題ステータス |
交付 (2023年度)
|
配分額 *注記 |
4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2025年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2024年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
2023年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
|
キーワード | 高水準モデリング言語 / グラフ書換え / 言語処理系 / モデル検査 / 静的解析 |
研究開始時の研究の概要 |
研究代表者は,非手続き型高水準プログラミング言語の新たな方向の開拓を目指し,高い汎用性をもちながら通常の言語が直接サポートしないグラフ構造を扱う言語の設計と処理系・検証系の実装に取り組んできた.その過程で,言語の意味論研究の深化と解析技術の蓄積,および利用経験の蓄積が進み,言語とプログラムの性質を深く活かした次世代の実装技術と応用を開拓する土壌が形成されてきた.本研究では,これまでに蓄積してきたプログラム表現技術,多様な静的解析技術,実装技術の三者の協働を図ることにより,複雑なデータ構造の表現と操作,状態空間探索,並列実行機能をもち,かつ相互運用性を備えた言語処理系への世代交代を目指す.
|