SEFM
2006
IEEE
14 years 1 months ago
2006
IEEE
SEFM
2006
IEEE
14 years 1 months ago
2006
IEEE
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...
SEFM
2006
IEEE
14 years 1 months ago
2006
IEEE
SEFM
2006
IEEE
14 years 1 months ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
SCAM
2006
IEEE
14 years 1 months ago
2006
IEEE
Refactoring is about changing the design of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. Taking Haskell an...
SCAM
2006
IEEE
14 years 1 months ago
2006
IEEE
Many articles and tools have been proposed over the years for mining design patterns from source code. These tools differ in several aspects, thus their fair comparison is hard. B...
SCAM
2006
IEEE
14 years 1 months ago
2006
IEEE
Call graphs are widely used to represent calling relationships among methods. However, there is not much interest in calling relationships among library methods in many software e...
SCAM
2006
IEEE
14 years 1 months ago
2006
IEEE
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
SCAM
2006
IEEE
14 years 1 months ago
2006
IEEE
SCAM
2006
IEEE
14 years 1 months ago
2006
IEEE
Traditional program slicing requires two parameters: a program location and a variable, or perhaps a set of variables, of interest. Stop-list slicing adds a third parameter to the...