Results 81 to 90 of about 8,846 (233)
Safe Concurrency Introduction through Slicing [PDF]
Traditional refactoring is about modifying the structure of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse.
Huiqing Li +3 more
core +1 more source
An automated refactoring approach for asynchronous mechanism
As synchronous blocking wastes system resources and affects program performance in concurrent processing,an automatic refactoring approach based on the asynchronous mechanism of CompletableFuture was proposed.Firstly,several static analyses by Wala ...
Minghan JI +4 more
doaj +1 more source
MaX4Zero: Masked Extended Attention for Zero‐Shot Virtual Try‐On In The Wild
Max4Zero is a zero‐shot, training‐free virtual try‐on method that leverages diffusion priors and extended attention for accurate garment transfer. By warping reference garments and mitigating texture sticking, it achieves superior fidelity, garment preservation and identity consistency over state‐of‐the‐art methods without additional training ...
Nadav Orzech +4 more
wiley +1 more source
A Certified Refactoring Engine [PDF]
The paper surveys how software tools such as refactoring systems can be validated, and introduces a new mechanism, namely the extraction of a refactoring engine for a functional programming language from an Isabelle/HOL theory in which it is verified ...
Thompson, Simon, Sultana, Nik
core
Testing Erlang Refactorings with QuickCheck [PDF]
Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support Erlang program refactoring; the Wrangler tool is written in Erlang.
Thompson, Simon, Li, Huiqing
core +1 more source
Automatic Refactoring Approach for Asynchronous Mechanisms with CompletableFuture
To address the inherent limitations of Future in asynchronous programming frameworks, JDK 1.8 introduced the CompletableFuture class, which features approximately 50 different methods for composing and executing asynchronous computations and handling ...
Yang Zhang +3 more
doaj +1 more source
A consistency-guaranteed approach for Internet of Things
The software architecture of Internet of Things defines the component model and interconnection topology of Internet of Things systems. Refactoring is a systematic practice of improving a software structure without altering its external behaviors.
Yang Zhang +4 more
doaj +1 more source
Can LLMs Simulate Target Users in Visualization Case Studies?
Abstract Case studies are central to evaluating visualization research as they provide evidence for how the developed approaches support real users, real analytical work, and real data. Conducting such studies can be challenging, since target users with relevant domain expertise are often scarce or even entirely unavailable, while the visualization ...
Jena Satkunarajan +4 more
wiley +1 more source
Refactoring-a Shot in the Dark? [PDF]
A study performed semistructured interviews of 12 seasoned software architects and developers at nine Finnish companies. Its main goals were to find out how the practitioners viewed the role and importance of refactoring, and how and when they refactored.
Marko Leppänen +5 more
openaire +2 more sources
Refactoring Functional Programs [PDF]
Refactoring is the process of redesigning existing code without changing its functionality. Refactoring has recently come to prominence in the OO community. In this paper we explore the prospects for refactoring functional programs.
Thompson, Simon, Reinke, Claus
core

