2012 Fiscal Year Final Research Report
Design and Implementation of Reversible Computing Systems andReversible Programming Languages
| Project/Area Number |
22700042
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Nanzan University |
|---|
Principal Investigator |
YOKOYAMA Tetsuo 南山大学, 情報理工学部ソフトウェア工学科, 准教授 (80456631)
|
|---|
| Project Period (FY) |
2010 – 2012
|
| Keywords | プログラミング言語 / プログラミング方法論 / 可逆計算 / 可逆シミュレーション / 可逆プログラミング言語 |
|---|
| Research Abstract |
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.
|
