Sound refactorings

DOI10.1016/J.SCICO.2009.10.001MaRDI QIDQ2266944zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

object-oriented programmingformal methodsrefinement calculusrefactoring

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 986404 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• scientific article; zbMATH DE number 1487496 (Why is no real title available?)
• scientific article; zbMATH DE number 1929900 (Why is no real title available?)
• scientific article; zbMATH DE number 2090153 (Why is no real title available?)
• Algebraic reasoning for object-oriented programming
• Laws of programming
• Object-Orientation in the UTP
• Pointers and Records in the Unifying Theories of Programming
• Properties of data flow frameworks: A unified model
• Refactoring by transformation
• Refactoring towards a layered architecture
• Static composition of refactorings
• Unifying theories for logic programming
• Using CafeOBJ to mechanise refactoring proofs and application

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
• Mechanised support for sound refinement tactics
• scientific article; zbMATH DE number 2016082 (Why is no real title available?)
• Refactoring Object-Oriented Specifications with Data and Processes
• Comparative analysis of refactoring and code optimization
• A static semantics for Alloy and its impact in refactorings
• Improving Prolog programs: Refactoring for Prolog
• 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

Describes a project that uses

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)