A type system for the relational calculus of object systems

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2006, Pages 189-198

  Zhao, Liang ^a,b   Zhao, Xiangpeng ^a   Long, Quan ^a   Qiu, Zongyan ^a  

^a PEKING UNIVERSITY   (China)

^b UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

Object orientation; Operational semantics; rCOS; Type system

Indexed keywords

CASE BASED REASONING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; SEMANTICS; THEOREM PROVING;

OBJECT-ORIENTATION; OPERATIONAL SEMANTICS; RCOS; TYPE SYSTEMS; UNIFYING THEORIES OF PROGRAMMING (UTP);

OBJECT ORIENTED PROGRAMMING;

EID: 40949103578     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.
2. G. Bierman, M. Parkinson, and A. Pitts. MJ: An imperative core calculus for java and java with effects. Technical Report 563, University of Cambridge Computer Laboratory, apr 2003.
3. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modelling Language: User Guide. Addison-Wesley, 1999.
4. A. L. C. Cavalcanti and D. Naumann. A weakest precondition semantics for an object-oriented language of refinement. IEEE TSE, 26(8):713-728, Aug 2000.
5. D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development: The Fusion Method. Prentice-Hall, 1994.
6. S. Cook and J. Daniels. Designing Object Systems: ObjectOriented Modelling with Syntropy. Prentice-Hall, 1994.
7. D. Duke, R. Duke, G. Rose, and G. Smith. Object-Z: An object-oriented extension to Z. Formal Description Techniques (FORTE '89), 1989.
8. E. Dürr and E. Dusink. The role of VDM++ in the development of a real-time tracking and tracing system. In Proc. of FME'93, LNCS 670. Springer-Verlag, 1993.
9. J. He, X. Li, and Z. Liu. rCOS: A refinement calculus for object systems. Technical Report 322, UNU/IIST, P.O. Box 3058, Macao SAR China.
10. J. He, Z. Liu, X. Li, and S. Qin. A relational model for object-oriented designs. In APLAS2004, LNCS 3302. Springer, 2004.
11. A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In L. Meissner, editor, Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA '99), volume 34(10), pages 132-146, N. Y., 1999.
12. I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison-Wesley Longman, Inc, 1999.
13. P. Kruchten. The Rational Unified Process: An Introduction. Addison-Wesley, 2nd edition, 2000.
14. X. Li, Z. Liu, and J. He. Formal and use-case driven requirement analysis in UML. In COMPSACOl, pages 215-224, Illinois, USA, October 2001. IEEE Computer Society.
15. Z. Liu. Object-oriented software development with UML. Technical Report 259, UNU/IIST, P.O. Box 3058, Macao SAR China, 2002.
16. Z. Liu, J. He, X. Li, and Y. Chen. A relational model for formal object-oriented requirement analysis in UML. In Formal Methods and Software Engineering, ICFEM03, LNCS 2885, pages 641-664. Springer, 2003.
17. Q. Long, J. He, and Z. Liu. Refactoring and pattern directed refactoring : A formal perspective. Technical Report 318, UNU/IIST, P.O. Box 3058, Macao SAR China.
18. Q. Long, Z. Qiu, Z. Liu, L. Shao, and J. He. POST: A case study for an incremental development in rCOS. In ICTAC 2005, LNCS 3722, Hanoi, Vietnam, October.
19. B. C. Pierce. Types and Programming Languages. MIT Press, 2002.
20. S. Wang, Q. Long, and Z. Qiu. Type safe for FJ and FGJ: A denotational view. Technical Report 628, School of Mathematics, Peking University, 2005.
21. L. Zhao, X. Zhao, Q. Long, and Z. Qiu. A type system for the relational calculus of object systems. Preprint Report 2006-2, School of Mathematics, Peking University, 2006.