Composite refactoring: Representations, characteristics and effects on software projects
Context: code refactoring is a code transformation that aims to improve software quality. A
composite refactoring (or, simply, composite) is defined by two or more interrelated …
composite refactoring (or, simply, composite) is defined by two or more interrelated …
Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond)
In this paper, we introduce the problem of rewriting finite formal languages using syntactic
macros such that the rewriting is minimal in size. We present polynomial-time algorithms to …
macros such that the rewriting is minimal in size. We present polynomial-time algorithms to …
Recommending source code locations for system specific transformations
From time to time, developers perform sequences of code transformations in a systematic
and repetitive way. This may happen, for example, when introducing a design pattern in a …
and repetitive way. This may happen, for example, when introducing a design pattern in a …
[HTML][HTML] Composing bidirectional programs monadically
Software frequently converts data from one representation to another and vice versa.
Naïvely specifying both conversion directions separately is error prone and introduces …
Naïvely specifying both conversion directions separately is error prone and introduces …
Explainable, Security-Aware and Dependency-Aware Framework for Intelligent Software Refactoring
C Abid - 2021 - deepblue.lib.umich.edu
As software systems continue to grow in size and complexity, their maintenance continues to
become more challenging and costly. Even for the most technologically sophisticated and …
become more challenging and costly. Even for the most technologically sophisticated and …
Composing bidirectional programs monadically (with appendices)
Software frequently converts data from one representation to another and vice versa.
Naively specifying both conversion directions separately is error prone and introduces …
Naively specifying both conversion directions separately is error prone and introduces …
[图书][B] Towards Live Programming Environments for Statically Verified JavaScript
C Schuster - 2018 - search.proquest.com
UNIVERSITY OF CALIFORNIA SANTA CRUZ TOWARDS LIVE PROGRAMMING
ENVIRONMENTS FOR STATICALLY VERIFIED JAVASCRIPT A dissertation subm Page 1 …
ENVIRONMENTS FOR STATICALLY VERIFIED JAVASCRIPT A dissertation subm Page 1 …