Sound refactorings

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

• Refactoring by transformation
• scientific article; zbMATH DE number 2016082
• Refactoring towards a layered architecture
• Refactoring Object-Oriented Specifications with Data and Processes
• Graph Transformations

zbMATH Keywords

object-oriented programmingformal methodsrefinement calculusrefactoring

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

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

• Eiffel

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)