A Termination Function of Recursive Programs and Its Application to Partial Evaluation

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1998-03-17

著者

• 二村 良彦

  早大

• 宋 立形

  早大

関連論文

• A Termination Function of Recursive Programs and Its Application to Partial Evaluation

スポンサーリンク