Add to ORKGThe 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. This research is a first step in a programme to construct certified programming tools from verified theories. We also provide some empirical evidence of how refactoring can be of significant benefit in reshaping automatically-generated program code for use in larger systems
The refinement calculus provides a methodology for transforming an abstract specification into a con...
We present a framework to generate verified LLVM programs from Isabelle/HOL. It is based on a code g...
Refactoring is the process of transforming a software system to improve its overall structure while ...
Refactoring is an important Software Engineering technique for improving the structure of a program...
Refactoring is a software development strategy that characteristically alters the syntactic structur...
Abstract: Refactoring is a technique for improving the design of existing pro-grams without changing...
Refactoring tools are an important tool for developers, but their reliability can be questionable at...
Many refactorings are simple but tedious, which makes them good candidates for automation. Common re...
Refactoring is the process of redesigning existing code without changing its functionality. Refactor...
There is an extensive literature about refactorings of object-oriented programs, and many refactorin...
Refactoring is the process of changing the design of a program without changing what it does. Typica...
Refactoring tools include checking of an object-oriented program for the fulfillment of precondition...
Refactorings are structured changes to existing software that leave its externally observable behavi...
Refactoring aims at improving the design of ex- isting code by introducing structural modifications ...
AbstractWe demonstrate the Haskell Refactorer, HaRe, both as an example of a fully-functional tool f...
The refinement calculus provides a methodology for transforming an abstract specification into a con...
We present a framework to generate verified LLVM programs from Isabelle/HOL. It is based on a code g...
Refactoring is the process of transforming a software system to improve its overall structure while ...
Refactoring is an important Software Engineering technique for improving the structure of a program...
Refactoring is a software development strategy that characteristically alters the syntactic structur...
Abstract: Refactoring is a technique for improving the design of existing pro-grams without changing...
Refactoring tools are an important tool for developers, but their reliability can be questionable at...
Many refactorings are simple but tedious, which makes them good candidates for automation. Common re...
Refactoring is the process of redesigning existing code without changing its functionality. Refactor...
There is an extensive literature about refactorings of object-oriented programs, and many refactorin...
Refactoring is the process of changing the design of a program without changing what it does. Typica...
Refactoring tools include checking of an object-oriented program for the fulfillment of precondition...
Refactorings are structured changes to existing software that leave its externally observable behavi...
Refactoring aims at improving the design of ex- isting code by introducing structural modifications ...
AbstractWe demonstrate the Haskell Refactorer, HaRe, both as an example of a fully-functional tool f...
The refinement calculus provides a methodology for transforming an abstract specification into a con...
We present a framework to generate verified LLVM programs from Isabelle/HOL. It is based on a code g...
Refactoring is the process of transforming a software system to improve its overall structure while ...