Proj
J-GLOBAL ID:202104010287281110  Research Project code:19205420

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

階層的グラフの書き換え系での文脈等価性証明支援
National award number:JPMJAX190U
Study period:2019 - 2021
Organization (1):
Principal investigator: ( , 数理解析研究所, 助教 )
DOI: https://doi.org/10.52926/JPMJAX190U
Research overview:
プログラムの部分的な変更はプログラミングでは頻繁に行われますが、それでもプログラム全体の実行結果が保たれることを定式化する概念が文脈等価性です。本研究では階層的グラフの書き換え系という数理モデルを用いて文脈等価性の証明手法を確立し、その部分的な自動化を試みます。特に個々のプログラミング言語に依らない一般的な手法を与えることで、言語機能の変更による文脈等価性への影響の統一的な分析を可能にします。
Terms in the title (6):
Terms in the title
Keywords automatically extracted from the title.
Research program:
Parent Research Project: 数理・情報のフロンティア
Organization with control over the research:
Japan Science and Technology Agency
Reports :

Return to Previous Page