Searched for: subject%3A%22refactoring%22
(1 - 20 of 33)

Pages

Refactoring with confidence
Refactoring with confidence: Creating and proving the correctness of a refactoring to add arguments to a function in a functional language
Formally proving the correctness of the (un)currying refactoring
Formally proving the correctness of the (un)currying refactoring: Using Agda with a simple Haskell-like programming language
Maybe a List would be better?
Maybe a List would be better?: Correct by construction Maybe to List refactorings in a Haskell-like language
Proving correctness of refactoring tuples to records
Proving correctness of refactoring tuples to records: A correct-by-construction approach on a Haskell-like language
Don’t bind yourself to do notation!
Don’t bind yourself to do notation!: Using Agda to Prove Correctness of Refactorings on Monads
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Function Inlining as a Language Parametric Refactoring
Function Inlining as a Language Parametric Refactoring
Enterprise-level search-based software remodularisation using domain knowledge
Enterprise-level search-based software remodularisation using domain knowledge
Undoing Software Engineering
Undoing Software Engineering: Demodularization of a SGLR Parser for Performance Gains
Renaming for Everyone
Renaming for Everyone: Language-parametric Renaming in Spoofax
Data-Driven Extract Method Recommendations: An Initial Study at ING
Data-Driven Extract Method Recommendations: An Initial Study at ING
Data-Driven Extract Method Recommendations: A Study at ING
Data-Driven Extract Method Recommendations: A Study at ING
Search-Based Software Re-Modularization
Search-Based Software Re-Modularization: A Case Study at Adyen
How to Kill Them All
How to Kill Them All: An Exploratory Study on the Impact of Code Observability on Mutation Testing
Machine Learning for Software Refactoring: a Large-Scale Empirical Study
Machine Learning for Software Refactoring: a Large-Scale Empirical Study
Expanding Search-Based Software Modularization to Enterprise-Level Projects: A Case Study at Adyen
Expanding Search-Based Software Modularization to Enterprise-Level Projects: A Case Study at Adyen
The Effectiveness of Supervised Machine Learning Algorithms in Predicting Software Refactoring
The Effectiveness of Supervised Machine Learning Algorithms in Predicting Software Refactoring
Towards language-parametric semantic editor services based on declarative type system specifications
Towards language-parametric semantic editor services based on declarative type system specifications
Investigating Whether Clean Code Helps Developers in Understanding a New Project
Investigating Whether Clean Code Helps Developers in Understanding a New Project
On the Impact of Code Smells on the Energy Consumption of Mobile Applications
On the Impact of Code Smells on the Energy Consumption of Mobile Applications
Searched for: subject%3A%22refactoring%22
(1 - 20 of 33)

Pages