Sound refactorings
From MaRDI portal
Publication:2266944
Recommendations
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
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)