研課題
J-GLOBAL ID:202104010287281110  研究課題コード:19205420

階層的グラフの書き換え系での文脈等価性証明支援

体系的課題番号:JPMJAX190U
実施期間:2019 - 2021
実施機関 (1件):
研究代表者: ( , 数理解析研究所, 助教 )
DOI: https://doi.org/10.52926/JPMJAX190U
研究概要:
プログラムの部分的な変更はプログラミングでは頻繁に行われますが、それでもプログラム全体の実行結果が保たれることを定式化する概念が文脈等価性です。本研究では階層的グラフの書き換え系という数理モデルを用いて文脈等価性の証明手法を確立し、その部分的な自動化を試みます。特に個々のプログラミング言語に依らない一般的な手法を与えることで、言語機能の変更による文脈等価性への影響の統一的な分析を可能にします。
タイトルに関連する用語 (6件):
タイトルに関連する用語
J-GLOBALで独自に切り出した研究課題タイトルの用語をもとにしたキーワードです
研究制度:
上位研究課題: 数理・情報のフロンティア
研究所管機関:
国立研究開発法人科学技術振興機構
報告書等:

前のページに戻る