査読有り 2016年8月10日 A Linear-Time Self-Interpreter of a Reversible Imperative Language Computer Software Robert Glück, Tetsuo Yokoyama 巻 3 号 開始ページ 108 終了ページ 128 記述言語 英語 掲載種別 エクスポート BibTeX RIS
