出版社：Vilnius University, University of Latvia, Latvia University of Agriculture, Institute of Mathematics and Informatics of University of Latvia
摘要：Innovative paradigm of reversible computing (RC) is on the focus of current computer
science. The main idea of it is to enable the execution of programs not forward only (as it is now)
but backwards as well. The set of possible applications of RC includes software debugging, faulttolerance
increasing and quantum computing. In order to do reversible computing operational there
is a need to code (manually) or to generate opposite “reverse” element for each “forward” element.
However, this emerging paradigm still needs the methods for expressing opposite language
elements in advance (during design-time). On the other hand, classic Aspect oriented paradigm
(AOP) helps to deal with crosscutting concerns such as security, transactions etc. at design time,
allows to separate development tasks by proficiency instead of by modules and to run weaved
program at run-time. In this paper author present the idea to express opposite language elements
by using recursive aspects.
