Refactoring by transformation

MaRDI QIDQ2844832zbMATH OpenFDO

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Sound refactorings
• Refactoring towards a layered architecture
• scientific article; zbMATH DE number 2016082
• Evolving object-oriented designs with refactorings
• Algebraic reasoning for object-oriented programming

Cited in

(25)

• Evolving object-oriented designs with refactorings
• Refactoring tools for functional languages
• Towards Formal Proof Script Refactoring
• Graph Transformations
• scientific article; zbMATH DE number 1951133 (Why is no real title available?)
• Refactoring boundary
• scientific article; zbMATH DE number 1929900 (Why is no real title available?)
• Refactoring and representation independence for class hierarchies
• Reuse cost optimization oriented component refactoring method
• Static composition of refactorings
• Refactoring equiaffinities
• Remodularizing Java programs for improved locality of feature implementations in source code
• scientific article; zbMATH DE number 2016082 (Why is no real title available?)
• Refactoring Object-Oriented Specifications with Data and Processes
• scientific article; zbMATH DE number 2111735 (Why is no real title available?)
• Comparative analysis of refactoring and code optimization
• An algebraic approach to the design of compilers for object-oriented languages
• LP-structures analysis: substantiation of refactoring in object-oriented programming
• A static semantics for Alloy and its impact in refactorings
• Improving Prolog programs: Refactoring for Prolog
• 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)