On the Big-R Notation for Describing Iterative and Recursive Behaviors
The iterative and recursive control structures are the most fundamental mechanisms of computing, because they 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. Although a wide variety of ways have been proposed for describing iterations, there is still a lack of a unified mathematical notation that may be used to express the notion of repetitive, recursive, and predicative behaviors and architectures in computing.This paper 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 realtime process algebra (RTPA) and its supporting tools. A wide range of applications of the big-R notation are identified for rigorously describing iterations and recursions in computing and software engineering. 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.
Computing cognitive informatics basic control structures mathematical notations the big-R notation iteration recursion loop syntax semantics RTPA formal methods
Yingxu Wang
Theoretical and Empirical Software Engineering Research Centre Dept of Electrical and Computer Engineering University of Calgary 2500 University Drive, NW, Calgary, Alberta, Canada T2N 1N4
国际会议
Firth IEEE International Conference on Cognitive Informatics(第五届认知信息国际会议)
北京
英文
132-140
2006-07-17（万方平台首次上网日期，不代表论文的发表时间）