A refinement algebra for object-oriented programming

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

Volumn 2743, Issue , 2003, Pages 457-482

  Borba, Paulo ^a   Sampaio, Augusto ^a   Cornélio, Márcio ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL LINGUISTICS; JAVA PROGRAMMING LANGUAGE; SEMANTICS;

ALGEBRAIC LAWS; CLASS HIERARCHIES; DATA REFINEMENTS; NORMAL FORM; OBJECT ORIENTED DESIGN; OBJECT-ORIENTED FEATURES; REFACTORINGS;

OBJECT ORIENTED PROGRAMMING;

EID: 35248888150     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45070-2_20     Document Type: Article

References (25)

1. Hoare et al, C. A. R.: Laws of programming. Communications of the ACM 30 (1987) 672-686
2. Morgan, C.: Programming from Specifications, second edn. Prentice Hall (1994)
3. Sampaio, A.: An Algebraic Approach to Compiler Design. Volume 4 of Algebraic Methodology and Software Technology. World Scientific (1997)
4. Roscoe, A., Hoare, C. A. R.: The laws of occam programming. Theoretical Computer Science 60 (1988) 177-229
5. Bird, R., de Moor, O.: Algebra of Programming. Prentice Hall (1997)
6. Seres, S., Spivey, M., Hoare, T.: Algebra of logic programming. In: ICPL'99, New Mexico, USA (1999)
7. Hoare, C., Jifeng, H.: Unifying Theories of Programming. Prentice Hall (1998)
8. Fowler, M.: Refactoring - Improving the design of existing code. Addison Wesley (1999)
9. Lea, D.: Concurrent Programming in Java. Addison-Wesley (1997)
10. Opdyke, W.: Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois at Urbana-Champaign (1992)
11. Roberts, D.: Practical Analysis for Refactoring. PhD thesis, University of Illinois at Urbana Champaign (1999)
12. Mikhajlova, A., Sekerinsk, E.: Class refinement and interface refinement in object-oriented programs. In: Proceedings of FME'97. Volume 1313 of Lecture Notes in Computer Science., Springer-Verlag (1997) 82-101
13. Leino, K. R. M.: Recursive Object Types in a Logic of Object-oriented Programming. In Hankin, C., ed.: 7th European Symposium on Programming. Volume 1381 of Lecture Notes in Computer Science., Springer-Verlag (1998)
14. Evans, A.: Reasoning with UML class diagrams. In: Workshop on Industrial Strength Formal Methods, WIFT'98, Florida, USA, IEEE Press (1998)
15. Evans, A., France, R., Lano, K., Rumpe, B.: The UML as a formal modeling notation. In Bézivin, J., Muller, P.A., eds.: The Unified Modeling Language, UML'98 - Beyond the Notation. First International Workshop, Mulhouse, France, June 1998, Selected Papers. Volume 1618 of LNCS., Springer (1999) 336-348
16. Lano, K., Bicarregui, J.: Semantics and transformations for UML models. In Bézivin, J., Muller, P.A., eds.: The Unified Modeling Language, UML'98 - Beyond the Notation. First International Workshop, Mulhouse, France, June 1998, Selected Papers. Volume 1618 of LNCS., Springer (1999) 107-119
17. Gogolla, M., Richters, M.: Transformation rules for UML class diagrams. In Bézivin, J., Muller, P. A., eds.: The Unified Modeling Language, UML'98 - Beyond the Notation. First International Workshop, Mulhouse, France, June 1998, Selected Papers. Volume 1618 of LNCS., Springer (1999) 92-106
18. Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modelling Language User Guide. Addison-Wesley (1999)
19. Cavalcanti, A., Naumann, D.: A weakest precondition semantics for an object-oriented language of refinement. In: FM'99 - Formal Methods. Volume 1709 of Lecture Notes in Computer Science. Springer-Verlag (1999) 1439-1459
20. Cavalcanti, A., Naumann, D.: A weakest precondition semantics for refinement of object-oriented programs. IEEE Transactions on Software Enginnering 26 (2000) 713-728
21. Arnold, K., Gosling, J.: The Java Programming Language. Addison Wesley (1996)
22. Gosling, J., Joy, B., Steele, G.: The Java Language Specification. Addison-Wesley (1996)
23. Cornélio, M. L.: Applying Object-oriented Refactoring and Patterns as Formal Refinements. PhD thesis, Informatics Center, Federal University of Pernambuco, Brazil (To appear in 2003)
24. Lira, B. O.: Automação de Regras para Programação Orientada a Objetos. Master's thesis, Centro de Informática, Universidade Federal de Pernambuco, Brazil (2002)
25. Meseguer, J.: A logical theory of concurrent objects and its realization in the Maude language. In Agha, G., Wegner, P., Yonezawa, A., eds.: Object-Oriented Programming. MIT Press (1993) 314-390