情報処理学会 第75回全国大会講演要旨
5L-8
手続き型言語と関数型言語の相互変換手法
手続き型言語と関数型言語の相互変換手法にはA Correspondence
between Continuation Passing Style and Static Single
Assignment Form（Richard A.Kelsey,1995）がある．しかし，
Kelseyの手法では支配関係を用いた関数の配置手法が提案されているが
定式化されていない．そこで本研究では，支配関係を用いた変換手法を
再構成し，SSA(静的単一代入)形式を経由した手続き型言語と関数型言語
の相互変換手法の定式化をおこなう．
between Continuation Passing Style and Static Single
Assignment Form（Richard A.Kelsey,1995）がある．しかし，
Kelseyの手法では支配関係を用いた関数の配置手法が提案されているが
定式化されていない．そこで本研究では，支配関係を用いた変換手法を
再構成し，SSA(静的単一代入)形式を経由した手続き型言語と関数型言語
の相互変換手法の定式化をおこなう．
