Automatic Detection of Infinite Recursion in AspectJ Programs

Salmi, Meisam Fathi; Parsa, Saeed

doi:10.1007/978-3-642-10509-8_22

Cited by 1 publication

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Reversible computing could be used in such areas as control systems and robots with a high level of autonomy, self-healing robust and secure software systems, automated software testing and debugging etc. There are made already different approaches for the formalization (Paolini et al, 2016;Kaarsgaard et al, 2017;Gluck and Kaarsgaard, 2018) process automation and support of reversible software (Salmi and Parsa, 2009). However current achievements in the tools for reversible computing are insufficient in comparison to forward only computing.…”

Section: Introductionmentioning

confidence: 99%

Recursive AOP for Reversible Software

Giedrimas¹

2019

BJMC

View full text Add to dashboard Cite

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.

show abstract

Section: Introductionmentioning

confidence: 99%

Recursive AOP for Reversible Software

Giedrimas¹

2019

BJMC

View full text Add to dashboard Cite

show abstract

Automatic Detection of Infinite Recursion in AspectJ Programs

Cited by 1 publication

References 10 publications

Recursive AOP for Reversible Software

Recursive AOP for Reversible Software

Contact Info

Product

Resources

About