Skip to main content
TudRepo
Research repository
Education Repository
Cultural Heritage
About
·
How to search
Include full text
Search results
Back
Searched for: subject%3A%22refactoring%22
(1 - 20 of 33)
Document type
Date
Pages
1
2
List view
Grid view
Print
Email
export CSV
export Excel
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: Using Agda with a simple Haskell-like programming language
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: A correct-by-construction approach on a Haskell-like language
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
Function Inlining as a Language Parametric Refactoring
Enterprise-level search-based software remodularisation using domain knowledge
Undoing Software Engineering: Demodularization of a SGLR Parser for Performance Gains
Renaming for Everyone: Language-parametric Renaming in Spoofax
Data-Driven Extract Method Recommendations: An Initial Study at ING
Data-Driven Extract Method Recommendations: A Study at ING
Search-Based Software Re-Modularization: A Case Study at Adyen
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
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
Towards language-parametric semantic editor services based on declarative type system specifications
Investigating Whether Clean Code Helps Developers in Understanding a New Project
On the Impact of Code Smells on the Energy Consumption of Mobile Applications
Searched for: subject%3A%22refactoring%22
(1 - 20 of 33)
Document type
Date
Pages
1
2
List view
Grid view
Print
Email
export CSV
export Excel