Sound refactorings
From MaRDI portal
Publication:2266944
DOI10.1016/j.scico.2009.10.001zbMath1191.68168MaRDI QIDQ2266944
Augusto Sampaio, Márcio Cornélio, Ana Cavalcanti
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
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
Related Items
Refactoring and representation independence for class hierarchies, Laws of Programming for References
Uses Software
Cites Work
- Properties of data flow frameworks: A unified model
- Static composition of refactorings
- Algebraic reasoning for object-oriented programming
- Using CafeOBJ to Mechanise Refactoring Proofs and Application
- Laws of programming
- Object-Orientation in the UTP
- Pointers and Records in the Unifying Theories of Programming
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item