2740 search results - page 19 / 548 » Typing the Specialization Interface |
ECOOP
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we present our approach to a visual refactoring tool, the Type Access Analyzer (TAA), which uses program analysis to detect code smells and for suggesting and perfo...
AMAST
2004
Springer
14 years 3 months ago
2004
Springer
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. The objective of this paper is to set a formal foundation for t...
HAPTICS
2006
IEEE
14 years 3 months ago
2006
IEEE
When designing a vibrotactile information display, it is important to present correct, stable stimulation. However, the mechanical stability of the vibration is affected by many c...
ENTCS
2002
13 years 9 months ago
2002
The HM(X) framework is a constraint-based type framework with built-in letpolymorphism. This paper establishes purely syntactic type soundness for the framework, treating an exten...
IPMU
2010
Springer
13 years 8 months ago
2010
Springer
Following the ideas of stronger forms of monotonicity for unary real functions and for capacities, k-monotone and strongly kmonotone aggregation functions are introduced and discus...