Refactoring by transformation
From MaRDI portal
Publication:2844832
zbMATH Open1270.68168MaRDI QIDQ2844832FDOQ2844832
Authors: Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio 
Publication date: 19 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105825642
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (25)
- Evolving object-oriented designs with refactorings
- Refactoring tools for functional languages
- Towards Formal Proof Script Refactoring
- Graph Transformations
- Title not available (Why is that?)
- Refactoring boundary
- Title not available (Why is that?)
- Reuse cost optimization oriented component refactoring method
- Refactoring and representation independence for class hierarchies
- Static composition of refactorings
- Refactoring equiaffinities
- Title not available (Why is that?)
- Remodularizing Java programs for improved locality of feature implementations in source code
- Refactoring Object-Oriented Specifications with Data and Processes
- Title not available (Why is that?)
- Comparative analysis of refactoring and code optimization
- An algebraic approach to the design of compilers for object-oriented languages
- Improving Prolog programs: Refactoring for Prolog
- LP-structures analysis: substantiation of refactoring in object-oriented programming
- A static semantics for Alloy and its impact in refactorings
- Algebraic reasoning for object-oriented programming
- Sound refactorings
- Refactoring towards a layered architecture
- Synchronizing model and program refactoring
- A closer look at software refactoring using symbolic execution
This page was built for publication: Refactoring by transformation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2844832)
