Changing programs correctly: Refactoring with specifications

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

Volumn 4085 LNCS, Issue , 2006, Pages 492-507

  Bannwart, Fabian ^a   Müller, Peter ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; CODES (SYMBOLS); COMPUTATIONAL COMPLEXITY; EQUIVALENCE CLASSES; PROGRAM DOCUMENTATION; SEMANTICS;

EQUIVALENCE TRANSFORMATION; REFACTORINGS; SEMANTIC CORRECTNESS;

COMPUTER PROGRAM LISTINGS;

EID: 33749386791     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11813040_33     Document Type: Conference Paper

References (23)

1. A. Banerjee and D. A. Naumann. Ownership confinement ensures representation independence for object-oriented programs. J. ACM, 52(6):894-960, 2005.
2. F. Bannwart. Changing software correctly. Technical Report 509, Department of Computer Science, ETH Zürich, 2006.
3. M. Barnett, K. R. M. Leino, and W. Schulte. The Spec# Programming System: An Overview. In G. Barthe, L. Burdy, M. Huisman, J.-L. Lanet, and T. Muntean, editors, CASSIS, volume 3362 of LNCS, pages 49-69. Springer-Verlag, 2005.
4. P. L. Bergstein. Object-preserving class transformations. In OOPSLA, pages 299-313. ACM Press, 1991.
5. D. G. Clarke, J. M. Potter, and J. Noble. Ownership types for flexible alias protection. In OOPSLA, pages 48-64. ACM Press, 1998.
6. M. Cornélio. Refactorings as Formal Refinements. PhD thesis, Universidade de Pernambuco, 2004.
7. W. Dietl and P. Müller. Universes: Lightweight ownership for JML. Journal of Object Technology (JOT), 4(8):5-32, 2005.
8. M. Fähndrich and R. DeLine. Adoption and focus: practical linear types for imperative programming. In PLDI, pages 13-24. ACM Press, 2002.
9. M. Fähndrich and K. R. M. Leino. Declaring and checking non-null types in an object-oriented language. In OOPSLA, pages 302-312. ACM Press, 2003.
10. M. Fowler. Refactoring: improving the design of existing code. Acldison-Wesley, 1999.
11. R. Gheyi, T. Massoni, and P. Borba. An abstract equivalence notion for object models. Electr. Notes Theor. Comput. Sci., 130:3-21, 2005.
12. J. Kerievsky. Refactoring to Patterns. Addison-Wesley Professional, August 2004.
13. J. R. Kiniry and D. R. Cok. ESC/Java2: Uniting ESC/Java and JML. In G. Barthe, L. Burdy, M. Huisman, J.-L. Lanet, and T. Muntean, editors, CASSIS, volume 3362 of LNCS, pages 108-128. Springer-Verlag, 2005.
14. R. Lämmel. Towards Generic Refactoring. In Workshop on Rule-Based Programming (RULE). ACM Press, 2002.
15. G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary design of JML: A behavioral interface specification language for Java. Technical Report 98-06-rev28, Iowa State University, 2005.
16. K. R. M. Leino and P. Müller. Object invariants in dynamic contexts. In M. Odersky, editor, ECOOP, volume 3086 of LNCS, pages 491-516. Springer-Verlag, 2004.
17. K. J. Lieberherr, W. L. Hürsch, and C. Xiao. Object-extending class transformations. Formal Aspects of Computing, (6):391-416, 1994.
18. F. Logozzo and A. Cortesi. Semantic hierarchy refactoring by abstract interpretation. In E. A. Emerson and K. S. Namjoshi, editors, VMCAI, volume 3855 of LNCS, pages 313-331. Springer-Verlag, 2006.
19. C. Morgan. Programming from specifications. Prentice-Hall, 1990.
20. W. F. Opclyke Refactoring object-oriented frameworks. PhD thesis, University of Illinois at Urbana-Champaign, 1992.
21. D. B. Roberts. Practical analysis for refactoring. PhD thesis, University of Illinois at Urbana-Champaign, 1999.
22. M. Streckenbach and G. Snelting. Refactoring class hierarchies with KABA. In OOPSLA, pages 315-330. ACM Press, 2004.
23. L. Tokuda and D. Batory. Evolving object-oriented designs with refactorings. In Automated Software Engineering, pages 174-182. IEEE Computer Society, 1999.