可逆编程语言R-JAVA及其语言处理系统的设计

摘要：

为了给基于可逆逻辑综合、可逆电路技术的可逆硬件平台设计可逆软件系统,提出基于JDK的可逆编程语言RJAVA.首先总结可逆编程语言的设计原则,然后为可逆语言R-JAVA设计文法规则和语言处理系统,其语言处理系统提取源程序中的可逆代码段并将其翻译成分别对应正反语义的等价JAVA代码,再将翻译后的JAVA代码交由JDK解释执行.最后通过示例程序表明R-JAVA源程序中的可逆函数既可正向运行,又可反向运行,从软件层次上实现了可逆计算.

关键词：可逆逻辑综合、可逆电路、可逆编程语言、语言处理系统、文法规则、可逆计算

所属期刊栏目：34

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金项目60873069

在线出版日期：2013-11-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：3502-3510