-
题名可逆编程语言R-JAVA及其语言处理系统的设计
被引量:8
- 1
-
-
作者
朱鹏程
管致锦
卫丽华
-
机构
南通大学杏林学院计算机科学与技术系
南通大学计算机科学与技术学院
紫琅职业技术学院软件工程系
-
出处
《计算机工程与设计》
CSCD
北大核心
2013年第10期3502-3510,共9页
-
基金
国家自然科学基金项目(60873069)
-
文摘
为了给基于可逆逻辑综合、可逆电路技术的可逆硬件平台设计可逆软件系统,提出基于JDK的可逆编程语言RJAVA。首先总结可逆编程语言的设计原则,然后为可逆语言R-JAVA设计文法规则和语言处理系统,其语言处理系统提取源程序中的可逆代码段并将其翻译成分别对应正反语义的等价JAVA代码,再将翻译后的JAVA代码交由JDK解释执行。最后通过示例程序表明R-JAVA源程序中的可逆函数既可正向运行,又可反向运行,从软件层次上实现了可逆计算。
-
关键词
可逆逻辑综合
可逆电路
可逆编程语言
语言处理系统
文法规则
可逆计算
-
Keywords
reversible logic synthesis
reversible circuit
reversible programming language
language processing system
syntax rule
reversible computation
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名可逆编程语言R-JAVA及其语言处理系统的设计
被引量:2
- 2
-
-
作者
薛慧君
-
机构
内蒙古电子信息职业技术学院
-
出处
《电子测试》
2017年第2X期38-38,40,共2页
-
文摘
可逆编程语言是可逆计算研究中的重要内容,利用可逆编程语言编写的程序,能够实现正向和反向的双向运行,从而分别实现结果获取和恢复输入两方面功能。因而,可逆编程语言的研究十分必要。
-
关键词
可逆编程语言R-JAVA
语言处理系统
设计
-
Keywords
reversible programming language R-JAVA
language processing system
design
-
分类号
TP312.2
[自动化与计算机技术—计算机软件与理论]
-
-
题名可逆编程语言R-JAVA与其语言处理系统设计分析
- 3
-
-
作者
张应征
-
机构
湖南工程职业技术学院
-
出处
《电脑知识与技术(过刊)》
2017年第6X期63-64,共2页
-
文摘
在可逆计算机研究过程中,可逆编程语言是尤为重要的内容,通过可逆编程语言对程序进行编写,能够实现正反两个方向的运行,以此不仅能够获得程序的结果,还能够恢复输入,所以对可逆编程语言的研究是非常有必要的。基于此,该文就对可编程语言R-JAVA和其语言处理系统进行设计及分析。
-
关键词
可逆编程语言
语言处理
系统设计
-
分类号
TP312.2
[自动化与计算机技术—计算机软件与理论]
-
-
题名可逆编程语言R-JAVA及其语言处理系统的设计
- 4
-
-
作者
韩宏峰
-
机构
北京邮电大学
-
出处
《通讯世界》
2017年第14期55-56,共2页
-
文摘
可逆编程语言是可逆研究中的重要内容。可逆编程语言在程序编写中的应用是在实现正向运行和反向运行的基础上,对结果获取功能或恢复输入功能进行完善。本文主要对可逆编程语言R-JAVA的设计原则和语言处理系统设计问题进行了探究。
-
关键词
可逆编程语言R-JAVA
语言处理系统
设计原则
-
Keywords
reversible programming language R-JAVA
language processing system
design principle
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名可逆编程语言相关理论及实践研究
被引量:1
- 5
-
-
作者
卫丽华
-
机构
南通理工学院软件工程系
-
出处
《软件导刊》
2015年第2期62-65,共4页
-
基金
南通理工学院校级科研项目(2014002)
-
文摘
从编程语言的角度研究了可逆计算。首先,给出可逆编程语言流程图的3种基本结构,从而构建一个可逆编程语言的可视模型;其次,证明可逆语言的可逆图灵机完备性,进而论证其与传统编程语言在计算能力上的一致性;最后,介绍了可逆编程语言Janus并进行了编程实践。
-
关键词
可逆计算
可逆编程语言
流程图
图灵机
图灵完备
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-