Sciweavers

1700 search results - page 8 / 340
» Specifying and implementing refactorings
Sort
View
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
15 years 8 months ago
Testing Erlang Refactorings with QuickCheck
Abstract. 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 E...
Huiqing Li, Simon Thompson
AOSD
2005
ACM
15 years 7 months ago
Towards a catalog of aspect-oriented refactorings
In this paper, we present a collection of aspect-oriented refactorings covering both the extraction of aspects from objectoriented legacy code and the subsequent tidying up of the...
Miguel P. Monteiro, João M. Fernandes
149
Voted
ICSEA
2009
IEEE
14 years 11 months ago
Strengthening Refactoring: Towards Software Evolution with Quantitative and Experimental Grounds
: Refactoring is a process meant to improve the internal quality of software systems. However, while on one hand, the guidelines for this delicate process are still empirical and q...
Sergio Bryton, Fernando Brito e Abreu
81
Voted
ICSM
2006
IEEE
15 years 8 months ago
An Extensible Meta-Model for Program Analysis
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...
Dennis Strein, Rüdiger Lincke, Jonas Lundberg...
211
Voted
POPL
2006
ACM
16 years 2 months ago
Staged allocation: a compositional technique for specifying and implementing procedure calling conventions
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
Reuben Olinsky, Christian Lindig, Norman Ramsey