Deductive semantics of RTPA

International Journal of Cognitive Informatics and Natural Intelligence

Volumn 2, Issue 2, 2008, Pages 95-121

  Wang, Yingxu ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Computational linguistics; Deductive semantics; Denotational mathematics; Formal semantics; Mathematical model of semantics; RTPA; Semantic analyses; Semantic diagrams; Semantic environment; Semantic functions; Semantics of RTPA; Software engineering

Indexed keywords

ABSTRACTING; COMPUTATIONAL LINGUISTICS; FUNCTIONS; LARGE SCALE SYSTEMS; SEMANTICS; SOFTWARE ENGINEERING; SOFTWARE TESTING; VERIFICATION;

DENOTATIONAL MATHEMATICS; FORMAL SEMANTICS; RTPA; SEMANTIC ANALYSIS; SEMANTIC DIAGRAMS; SEMANTIC FUNCTIONS;

FORMAL METHODS;

EID: 55249115472     PISSN: 15573958     EISSN: 15573966     Source Type: Journal    
DOI: 10.4018/jcini.2008040106     Document Type: Article

References (38)

1. Bjorner, D. (2000, November). Pinnacles of software engineering: 25 years of formal methods. In Y. Wang & D. Patel (Eds.), Annals of software engineering: An international journal,10, 11-66.
2. Bjorner, D., & Jones, C. B. (1982). Formal specification and software development. Englewood Cliffs, NJ: Prentice Hall.
3. Chomsky, N. (1956). Three models for the description of languages. I.R.E. Transactions on Information Theory, 2(3), 113-124.
4. Chomsky, N. (1957). Syntactic structures. The Hague, The Netherlands: Mouton.
5. Chomsky, N. (1982). Some concepts and consequences of the theory of government and binding. Cambridge, MA: MIT Press
6. Dijkstra, E. W. (1975). Guarded commands, nondeterminacy, and the formal derivation of programs. Communications of the ACM, 18(8), 453-457.
7. Dijkstra, E. W. (1976). A discipline of programming. Englewood Cliffs, NJ: Prentice Hall.
8. Goguen, J. A., & Malcolm, G. (1996). Algebraic semantics of imperative programming. Cambridge, MA: MIT Press.
9. Goguen, J.A., Thatcher, J. W., Wagner, E. G., & Wright, J. B. (1977). Initial algebra semantics and continuous algebras. Journal of the ACM, 24(1), 68-59.
10. Gries, D. (1981). The science of programming. Berlin, Germany: Spinger Verlag
11. Gunter, C. A. (1992). Semantics of programming languages: Structures and techniques. In M. Garey & A. Meyer (Eds.), Foundations of computing. Cambridge, MA: MIT Press.
12. Guttag, J. V., & Horning, J. J. (1978). The algebraic specification of abstract data types. Acta Informatica, 10, 27-52.
13. Hoare, C. A. R. (1969). An axiomatic basis for computer programming. Communications of the ACM, 12(10), 576-580.
14. Jones, C. B. (1980). Software development: A rigorous approach. London: Prentice Hall International.
15. Louden, K. C. (1993). Programming languages: Principles and practice. Boston: PWS-Kent.
16. Marcotty, M., & Ledgard. H. (1986). Programming language landscape (2nd ed.). Chicago: SRA.
17. McDermid, J. A. (Ed.). (1991). Software engineer's reference book. Oxford, England: Butterworth-Heinemann.
18. Meyer, B. (1990). Introduction to the theory of programming languages. Englewood Cliffs, NJ: Prentice Hall
19. Ollongren, A. (1974). Definition of programming languages by interpreting automata. New York: Academic Press.
20. Pagan, F. G. (1981). Semantics of programming languages: A panoramic primer. Englewood Cliffs, NJ: Prentice Hall.
21. Schmidt, D. (1988). Denotational semantics: A methodology for language development. Dubuque, IA: Brown.
22. Schmidt, D. (1996, March). Programming language semantics. ACM Computing Surveys, 28(1).
23. Schmidt, D. A. (1994). The structure of typed programming languages. Cambridge, MA: MIT Press.
24. Scott, D. (1982). Domains for denotational semantics. In Automata, languages and programming IX (pp. 577-613). Berlin, Germany: Springer Verlag.
25. Scott, D. S., & Strachey, C. (1971). Towards a mathematical semantics for computer languages. (Programming Research Group Tech. Rep. PRG-1-6). Oxford University.
26. Slonneg, K., & Kurts, B. (1995). Formal syntax and semantics of programming languages. Addison-Wesley.
27. Tarski, A. (1944). The semantic conception of truth. Philosophic Phenomenological Research, 4, 13-47.
28. Wang, Y. (2002). The real-time process algebra (RTPA). Annals of Software Engineering: A International Journal, 14, 235-274.
29. Wang, Y. (2003). Using Process algebra to describe human and software system behaviors. Brain and Mind, 4(2), 199-213.
30. Wang, Y. (2006a). Cognitive informatics and contemporary mathematics for knowledge representation and manipulation (Invited plenary talk). In Proceedings of the First International Conference on Rough Set and Knowledge Technology (RSKT'06) (LNAI 4062, pp. 69-78). Chongqing, China: Springer.
31. Wang, Y. (2006b). On the informatics laws and deductive semantics of software, IEEE Transactions on Systems, Man, and Cybernetics (C), 36(2), 161-171.
32. Wang, Y. (2007a). The Cognitive Processes of Formal Inferences. The International Journal of Cognitive Informatics and Natural Intelligence, 1(4), 75-86.
33. Wang, Y. (2007b). Keynote speech on theoretical foundations of software engineering and denotational mathematics. In Proceedings of the Fifth Asian Workshop on Foundations of Software (pp. 99-102). Xiamen, China:
34. Wang, Y. (2007c). Software engineering foundations: A software science perspective. Auerbach Publications, NY., July.
35. Wang, Y. (2008a). On the big-R notation for describing iterative and recursive behaviors. The International Journal of Cognitive Informatics and Natural Intelligence, 2(1),17-28.
36. Wang, Y. (2008b, April). RTPA: A denotational mathematics for manipulating intelligent and computational behaviors. The International Journal of Cognitive Informatics and Natural Intelligence, 2(2), 44-62.
37. Wegner, P. (1972). The Vienna definition language. ACM Computing Surveys, 4(1), 5-63.
38. Wikstrom, A. (1987). Functional programming using standard ML. Englewood Cliffs, NJ: Prentice Hall.