Sciweavers

1700 search results - page 8 / 340
» Specifying and implementing refactorings
Sort
View
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
14 years 2 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
14 years 2 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
ICSEA
2009
IEEE
13 years 6 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
ICSM
2006
IEEE
14 years 2 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...
POPL
2006
ACM
14 years 8 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