コンピュータ ソフトウェア
Print ISSN : 0289-6540
可逆命令型言語の線形時間自己解釈系
グリュック ロバート横山 哲郎
著者情報
ジャーナル フリー

2016 年 33 巻 3 号 p. 3_108-3_128

詳細
抄録

A linear-time reversible self-interpreter in an r-Turing complete reversible imperative language is presented. The proposed imperative language has reversible structured control flow operators and symbolic tree-structured data (S-expressions). The latter data structures are dynamically allocated and enable reversible simulation of programs of arbitrary size and space consumption. As self-interpreters are used to show a number of fundamental properties in classic computability and complexity theory, the present study of an efficient reversible self-interpreter is intended as a basis for future work on reversible computability and complexity theory as well as programming language theory for reversible computing. Although the proposed reversible interpreter consumes superlinear space, the restriction of the number of variables in the source language leads to linear-time reversible simulation.

著者関連情報
© 2016 日本ソフトウェア科学会
前の記事
feedback
Top