 On the Big-R Notation for Describing Interative and Recursive BehaviorsYingxu Wang
International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), 2008, vol. 2, issue 1, 17-28 Abstract: Iterative and recursive control structures are the most fundamental mechanisms of computing that make programming more effective and expressive. However, these constructs are perhaps the most diverse and confusable instructions in programming languages at both syntactic and semantic levels. This article introduces the big-R notation that provides a unifying mathematical treatment of iterations and recursions in computing. Mathematical models of iterations and recursions are developed using logical inductions. Based on the mathematical model of the big-R notation, fundamental properties of iterative and recursive behaviors of software are comparatively analyzed. The big-R notation has been adopted and implemented in Real-Time Process Algebra (RTPA) and its supporting tools. Case studies demonstrate that a convenient notation may dramatically reduce the difficulty and complexity in expressing a frequently used and highly recurring concept and notion in computing and software engineering. Date: 2008 Downloads: (external link) Related works: Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text Persistent link: https://EconPapers.repec.org/RePEc:igg:jcini0:v:2:y:2008:i:1:p:17-28 Access Statistics for this article International Journal of Cognitive Informatics and Natural Intelligence (IJCINI) is currently edited by Kangshun Li More articles in International Journal of Cognitive Informatics and Natural Intelligence (IJCINI) from IGI Global |
Is your work missing from RePEc? Here is how to contribute.
Questions or problems? Check the EconPapers FAQ or send mail to .
EconPapers is hosted by the
School of Business at Örebro University.