Results 61 to 70 of about 11,754 (226)
SODALITE-EU/refactoring-option-discoverer: M24Release of Refactoring Option Discoverer
, 2021 This is a M24Release of Refactoring Option ...
IndikaKuma +2 more
core +1 more source
Advanced Intelligent Discovery, EarlyView.We report a novel interpretation method for deep learning models based on feature extraction and clustering. Applying this method to an atomistic line graph neural network (ALIGNN) model trained on optical absorption spectra of 2,681 inorganic compounds obtained from first‐principles calculations, we successfully identify key factors underlying ...
Akira Takahashi +3 more
wiley +1 more source
A Domain-Specific Language for Scripting Refactorings in Erlang [PDF]
, 2011 Refactoring is the process changing the design of a program without changing its behaviour. Many refactoring tools have been developed for various programming languages; while these told support primitive, atomic refactorings, support for composite ...
Huiqing Li +3 more
core +1 more source
Refactoring pattern matching [PDF]
Science of Computer Programming, 2013 Defining functions by pattern matching over the arguments is advantageous for understanding and reasoning, but it tends to expose the implementation of a datatype. Significant effort has been invested in tackling this loss of modularity; however, decoupling patterns from concrete representations while maintaining soundness of reasoning has been a ...
Meng Wang 0002 +3 more
openaire +4 more sources
Deriving refactorings for aspectJ [PDF]
Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, 2004 In this paper we present aspect-oriented programming laws that are useful for deriving refactorings for AspectJ. The laws help developers to verify if the transformations they define preserve behavior. We illustrate that by deriving several AspectJ refactorings.
Leonardo Cole, Paulo Borba
openaire +2 more sources
Refactoring in the presence of annotations [PDF]
2012 28th IEEE International Conference on Software Maintenance (ICSM), 2012 Current-day programming languages include constructs to embed meta-data in a program's source code in the form of annotations. More than mere documentation, these annotations are used in modern frameworks to map source-level entities to domain-specific ones.
Carlos Noguera +3 more
openaire +3 more sources
A Case Study in Refactoring Functional Programs [PDF]
, 2003 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
Electronic Notes in Theoretical Computer Science, 2002 AbstractIn this paper we present how refactoring of object-oriented programs can be accomplished by using refinement. Our approach is based on algebraic laws of an object-oriented language for refinement similar to Java. We follow a strategy involving data and algorithmic refinement of classes.
Márcio Cornélio +2 more
openaire +2 more sources
A Certified Refactoring Engine [PDF]
, 2008 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
Biotechnology and Bioengineering, EarlyView.Genetic engineering (GE) overcomes BCA limits, enabling robust, scalable crop protection. “Super Bioagents” (SBs) use optimized SSs to enhance bioactive molecule delivery. Optimizing SSs enhance precise, sustainable effector deployment for stable disease suppression. SBs use microbiome‐informed design for scalable, next‐gen sustainable crop protection.
Michael Dare Asemoloye
wiley +1 more source