Design and Implementation of Reversible Computing Systems andReversible Programming Languages

点击翻译按钮获取中文摘要

We conducted a research for developing the fundamental theory on reversible computing systems, finding the principles on high-level programming languages, and developing the methodology for manipulating such languages. We proposed an optimization of Bennett's reversible simulation that requires half of the computational steps for a class of injective programs such as some lossless encoders and decoders. The proposed reversible simulationwas demonstrated on a high-level programming language that we formalized.