Object-orientation in the UTP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4010 LNCS, Issue , 2006, Pages 18-37

  Santos, Thiago ^a   Cavalcanti, Ana ^b   Sampaio, Augusto ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; RECURSIVE FUNCTIONS; THEOREM PROVING;

HIGHER-ORDER PROCEDURES; UNIFYING THEORIES OF PROGRAMMING (UTP);

OBJECT ORIENTED PROGRAMMING;

EID: 33746071200     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11768173_2     Document Type: Conference Paper

References (20)

1. Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University (1981)
2. Drossopoulou, S., Eisenbach, S. In: Towards an Operational Semantics and Proof of Type Soundness for Java. Springer-Verlag (1998)
3. Schmdit, D.A.: Denotational Semantics, A Methodology for Language Development, Allyn and Bacon,Inc (1986)
4. Hoare, C.A.R., Hayes, I.J., Jifeng, H., Morgan, C.C., Roscoe, A.W., Sanders, J.W., Sorenaen, I.H., Spivey, J.M., Sufrin, B.A.: Laws of programming, Commun. ACM 30 (1987) 672-686
5. Borba, P.H.M., Sampaio, A.C.A., Cavalcanti, A.L.C., Coniélio, M.L.: Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming 52 (2004) 53-100
6. Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall (1998)
7. Jiferig, H., Li, X., Liu, Z.: A Refinement Calculus for Object Systems. Technical report 322, UNU-IIST, P.O.Box 3058, Macau (2005)
8. Qin, S.C., Dong, J.S., Chin, W.N.: A Semantic Foundation of TCOZ in Unifying Theory of Programming. In: FM'03. Lecture Notes in Computer Science, Pisa, Italy, Springer-Verlag (2003) 321-340
9. Mahony, B., Dong, J.: Blending Object-Z and Timed CSP: An introduction to TCOZ. In: Proceedings of the 20th International Conference on Software Engineering (ICSE'98), Kyoto, Japan, IEEE Computer Society Press (1998) 95-104
10. Mahony, B.P., Dong, J.S.: Timed Communicating Object Z. IEEE Transactions on Software Engineering 26 (2000) 150-177
11. Cavalcanti, A.L.C., Sampaio, A.C.A., Woodcock, J.C.P.: Unifying Classes and Processes. Software and System Modelling 4 (2005) 277-296
12. Woodcock, J.C.P., Cavalcanti, A.L.C.: The Semantics of Circus. In Bert, D., Bowen, J.P., Henson, M.C., Robinson, K., eds.: ZB 2002: Formal Specification and Development in Z and B. Volume 2272 of Lecture Notes in Computer Science., Springer-Verlag (2002) 184-203
13. Woodcock, J.C.P., Davies, J.: Using Z-Specification, Refinement, and Proof. Prentice-Hall (1996)
14. Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall Series in Computer Science. Prentice-Hall (1998)
15. Cavalcanti, A.L.C., Naumann, D.A.: A Weakest Precondition Semantics for Refinement of Object-oriented Programs. IEEE Transactions on Software Engineering 26 (2000) 713-728
16. Back, R.J.R.: Procedural Abstraction in the Refinement Calculus. Technical report, Department of Computer Science, Åbo, Finland (1987) Ser. A No. 55.
17. Naumann, D.A.: Predicate transformers and higher-order programs. Theor. Comput. Sci. 150 (1995) 111-159
18. Borba, P.H.M., Sampaio, A.C.A.: Basic Laws of ROOL: an object-oriented language. In; 3rd Workshop on Formal Methods, Brazil (2000) 33-44
19. Kassios, I.T.: Decoupling in Object Orientation. In Fitzgerald, J., Tarlecki, A., Hayes, I., eds.: FME 2005: Formal Methods. Volume 3582 of Lecture Notes in Computer Science., Springer-Verlag (2005) 43-58
20. Hehner, E.: A Practical Theory of Programming, the second edition. Springer-Verlag, New York (2004)