Theoretical Computer Science · 2006 · 102 citations · 21 references
ComputingComputer ScienceFormal MethodsModel-based Systems EngineeringSystems ModelingModel CheckingModel TransformationObject-oriented AnalysisObject-oriented ProgrammingRefinement CalculusSoftware DesignModel RefinementObject RefinementRefinementRefinement CheckingState-based Specification
21
Separation logic: a logic for shared mutable data structures
John Reynolds · 2003 · 2.2K citations
Refactoring improving the design of existing code
Mauricio A. Saca · 2017 · 2.1K citations
C. A. R. Hoare, Ian J. Hayes, He Jifeng et al. · Communications of the ACM · 1987 · 389 citations · Full text
Practical analysis for refactoring
Ralph E. Johnson, Donald Bradley Roberts · 1999 · 254 citations
Programming from specifications
Eric C. R. Hehner · Science of Computer Programming · 1991 · 244 citations