Sciweavers

4190 search results - page 170 / 838
» Type Class Directives
Sort
View
CJ
2000
101views more  CJ 2000»
15 years 3 months ago
Safe Structural Conformance for Java
In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conforma...
Konstantin Läufer, Gerald Baumgartner, Vincen...
GREC
2009
Springer
15 years 1 months ago
Unified Pairwise Spatial Relations: An Application to Graphical Symbol Retrieval
In this paper, we present a novel unifying concept of pairwise spatial relations. We develop two way directional relations with respect to a unique point set, based on topology of ...
K. C. Santosh, Laurent Wendling, Bart Lamiroy
METRICS
2003
IEEE
15 years 9 months ago
Design Patterns and Change Proneness: An Examination of Five Evolving Systems
Design patterns are recognized, named solutions to common design problems. The use of the most commonly referenced design patterns should promote adaptable and reusable program co...
James M. Bieman, Greg Straw, Huxia Wang, P. Willar...
TYPES
2007
Springer
15 years 10 months ago
On Normalization by Evaluation for Object Calculi
We present a procedure for computing normal forms of terms in Abadi and Cardelli’s functional object calculus. Even when equipped with simple types, terms of this calculus are no...
Jan Schwinghammer
COMPSAC
2003
IEEE
15 years 9 months ago
Data-Flow-Based Unit Testing of Aspect-Oriented Programs
The current research so far in aspect-oriented software development is focused on problem analysis, software design, and implementation techniques. Even though the importance of s...
Jianjun Zhao