1389 search results - page 77 / 278 » Lightweight dependent classes |
CSL
2004
Springer
14 years 3 months ago
2004
Springer
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
ADAEUROPE
2000
Springer
14 years 2 months ago
2000
Springer
Component-based software development heavily relies on the ability of reusing components from a library with as little effort as possible. Among others, valuable features for reus...
SPLC
2004
13 years 11 months ago
2004
A key aspect of variability management in software product families is the explicit representation of the variability. Experiences at several industrial software development compan...
LPAR
2010
Springer
13 years 8 months ago
2010
Springer
We consider two-player zero-sum games on graphs. On the basis of the information available to the players these games can be classified as follows: (a) partial-observation (both p...
ECOOP
1999
Springer
14 years 1 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...