Sound refactorings
From MaRDI portal
Publication:2266944
DOI10.1016/J.SCICO.2009.10.001zbMATH Open1191.68168OpenAlexW4213383600MaRDI QIDQ2266944FDOQ2266944
Authors: Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
Publication date: 26 February 2010
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2009.10.001
Recommendations
Cites Work
- Title not available (Why is that?)
- Laws of programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Unifying theories for logic programming
- Algebraic reasoning for object-oriented programming
- Using CafeOBJ to mechanise refactoring proofs and application
- Title not available (Why is that?)
- Title not available (Why is that?)
- Refactoring towards a layered architecture
- Properties of data flow frameworks: A unified model
- Title not available (Why is that?)
- Refactoring by transformation
- Object-Orientation in the UTP
- Pointers and Records in the Unifying Theories of Programming
- Title not available (Why is that?)
- Static composition of refactorings
Cited In (18)
- Towards a Generic Framework for Trustworthy Program Refactoring
- Evolving object-oriented designs with refactorings
- Refactoring tools for functional languages
- Graph Transformations
- Refactoring boundary
- Laws of programming for references
- Refactoring and representation independence for class hierarchies
- Title not available (Why is that?)
- Mechanised support for sound refinement tactics
- Refactoring Object-Oriented Specifications with Data and Processes
- Comparative analysis of refactoring and code optimization
- Improving Prolog programs: Refactoring for Prolog
- A static semantics for Alloy and its impact in refactorings
- Algebraic reasoning for object-oriented programming
- Towards a Catalogue of Refactorings and Code Smells for AspectJ
- Refactoring towards a layered architecture
- A closer look at software refactoring using symbolic execution
- Refactoring by transformation
Uses Software
This page was built for publication: Sound refactorings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2266944)