On the big-R notation for describing iterative and recursive behaviors

Proceedings of the 5th IEEE International Conference on Cognitive Informatics, ICCI 2006

Volumn 1, Issue , 2006, Pages 132-140

  Wang, Yingxu ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Basic control structures; Cognitive informatics; Computing; Formal methods; Iteration; Loop; Mathematical notations; Recursion; RTPA; Semantics; Syntax; The big R notation

Indexed keywords

BASIC CONTROL STRUCTURES; COGNITIVE INFORMATICS; COMPUTING; ITERATION; LOOP; MATHEMATICAL NOTATIONS; RECURSIONS; RTPA; SYNTAX; THE BIG-R NOTATION;

INFORMATION SCIENCE; ITERATIVE METHODS; MATHEMATICAL MODELS; SEMANTICS; SYNTACTICS;

FORMAL METHODS;

EID: 39049111670     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COGINF.2006.365688     Document Type: Conference Paper

References (27)

1. Backhouse, R.C. (1968), Program Construction and Verification, Prentice-Hall International, London.
2. Backus, J. (1978), Can Programming be Liberated from the van Neumann Style? Communications of the ACM, Vol. 21, No.8, pp. 613-641.
3. Cries, D. (1981), The Science of Programming. Springer-Verlag, New York.
4. de Bakker, J.W. (1980), Mathematical Theory of Program Correctness, Prentice-Hall International. London. 1980.
5. Dijkstra, E.W. (1976), A Discipline of Programming, Prentice-Hall, Englewood Cliffs. N.J.
6. Hehner, E.C.R. (1984), Predicative Programming Parts I and II, Communications of the ACM, Vol. 27, No.2, pp.134-151.
7. Hermes, H. (1969), Enumerability, Decidability, Computability, Springer-Verlag, New York.
8. Hoare, C.A.R. (1985), Communicating Sequential Processes, Prentice-Hall International, London.
9. Hoare, C.A.R., I.J. Hayes, J. He, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorensen, J.M. Spivey, and B.A. Sufrin (1987), Laws of Programming, Communications of he ACM, Vol.30, No.8, August, pp. 672-686.
10. Horstmann, C. and Budd, T. (2004), Big C++, John Wiley & Sons, Inc., Danvers, MA.
11. Jones, C.B. (1980), Software Development: A Rigorous Approach, Prentice-Hall International, London.
12. Kleene, S.C. (1952), Introduction to Meta-mathematics, North Holland, Amsterdam.
13. Louden, K.C. (1993), Programming Languages: Principles and Practice, PWS-Kent Publishing Co., Boston.
14. McDermid, J. ed. (1991), Software Engineer's Reference Book, Butterworth Heinemann Ltd., Oxford, UK.
15. Meek, B.L. (1991), Early High-Level Languages, Chapter 43, in J. McDermid ed., Software Engineer's Reference Book, Butterworth Heinemann Ltd., Oxford, UK.
16. Mendelson, E. (1964), Introduction to Mathematical Logic, Van Nostrand Reinhold, New York.
17. Peter, R. (1967), Recursive Functions, Academic Press, New York.
18. Rayward-Smith, V.J. (1986), A First Course in Computability, Blackwell Scientific, Oxford.
19. Tan, X., Y Wang and C. Ngolah (2004), Specification of the RTPA Grammar and Its Recognition, Proc. of 3rd IEEE International Conference on Cognitive Informatics (ICCI'04), IEEE CS Press, Victoria, Canada, August, pp. 54-63.
20. Tarski, A. (1955), A Lattice-Theoretic Fixed Point Theorem and its Applications, Pacific Journal of Mathematics, Vol. 5, pp. 285-309.
21. Wang, Y. (2002), The Real-Time Process Algebra (RTPA), Annals of Software Engineering: An International Journal, Vol. 14, Kluwer Academic Publishers, Oct., pp.235-274.
22. Wang, Y. (2003), Using Process Algebra to Describe Human and Software System Behaviors, Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, Vol.4, No.2, pp. 199-213.
23. Wang, Y. (2005), Software Engineering Foundations: A Transdisciplinary Perspective, CRC Book Series on Software Engineering, Vol. 2, CRC Press, Boca Raton, FL, USA.
24. Wang, Y. (2006), On the Informatics Laws and Deductive Semantics of Software, IEEE Trans, on Systems, Man, and Cybernetics (Part C), Vol. 36, No. 2, March, pp. 161-171.
25. Wang, Y. (2006), A Unified Mathematical Model of Programs, Proc. 19th Canadian Conference on Electrical and Computer Engineering (CCECE'06), Ottawa, ON, Canada, May 8-10, pp. 2346-2349.
26. Wilson, L.B. and R. G. Clark (1988), Comparative Programming Language, Addison-Wesley Publishing Co., Wokingham, UK.
27. Wirth, N. (1976), Algorithms + Data Structures = Programs, Prentice-Hall, Englewood Cliffs, NJ.