研究者情報 | 神奈川大学

ウマタニ　セイジ Umatani Seiji 馬谷　誠二所属神奈川大学情報学部計算機科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種准教授
発表年月日	2023
発表テーマ	健全な手続き的マクロの抽象解釈フレームワーク
発表学会名	第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023)
学会区分	研究会・シンポジウム等
発表形式	口頭（一般）
単独共同区分	単独