Towards a refinement calculus for object systems

Proceedings - 1st IEEE International Conference on Cognitive Informatics, ICCI 2002

Volumn , Issue , 2002, Pages 69-76

  Jifeng, He ^a,c   Zhiming, Liu ^a   Xiaoshan, Li ^b  

^a UNITED NATIONS UNIVERSITY   (Macao)

^b UNIVERSITY OF MACAU   (Macao)

^c EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

DYNAMIC BINDING; IMPERATIVE PROGRAMMING LANGUAGES; MUTUAL DEPENDENCIES; REFINEMENT CALCULI; RELATIONAL MODEL; SEMANTICS FRAMEWORK; TRANSFORMATION RULES; VERIFICATION TOOLS;

CALCULATIONS;

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

References (15)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, (1996).
2. M. Abadi and K.R.M. Leino. A logic of object-oriented programs. Lecture Notes in Computer Science 1214, 682-696, Springer, (1997)
3. R.J.R. Back and M.J. Butler. Exploring summation and product operators in the refinement calculus. Lecture Notes in Computer Science 947, (1995).
4. G. Booch, J. Rumbaugh and I. Jacobson. The Unified Modelling Language User Guide. Addison-Wesley, (1999).
5. A. Cavalcanti and D. Naumann. A weakest Precondition Semantics for an Object-Oriented Language of Refinement. Lecture Notes in Computer Science 1708, 1439-1460, (1998)
6. J. Dong, R. Duke and G. Rose. An object-oriented approach to the semantics of programming languages. In G. Gupta (ed): 17th Annual Computer Science Conference (ACSC'17), 765-775, (1994).
7. He Jifeng, Liu Zhiming and Li Xiaoshan. A relational model for object-oriented programming. Technical Report 231, International Institute for Software Technology of the United Nations University, Macau, (2002).
8. C.A.R. Hoare and He Jifeng. Unifying Theories of Programming. Prentice Hall, (1998)
9. C.A.R. Hoare and He Jifeng. A trace model for pointers and objects. Lecture Notes of International Summer School at Marktoberdoff. Germany, (1998)
10. A. Mikhajlova and E. Sekerinski. Class refinement and interface refinement in object-oriented programming. Proceedings of FME'97, Springer, (1997).
11. D.A. Naumann. Predicate transformer semantics of an Oberon-like language. In E.-R. Olderog (ed) Programming Concepts, Methods and Calculi, 460-480, (1994).
12. J. Rumbaugh, I. Jacobson and G. Booch. The Unified Modelling Language Reference Manual. Addison-Wesley, (1999).
13. K. Rustan and M. Leino. Recursive object types in a logic of object-oriented programming. Lecture Notes in Computer Science 1381, (1998).
14. E. Sekerinski. A type-theoretical basis for an object-oriented refinement calculus. Proceedings of Formal Methods and Object Technology, Springer-Verlag, (1996)
15. A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, Vol 5: 285-309, (1955).