ECOOP
2003
Springer
14 years 5 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
ECOOP
2003
Springer
14 years 5 months ago
2003
Springer
Despite Java’s automatic reclamation of memory, memory leaks remain an important problem. For example, we frequently encounter memory leaks that cause production servers to crash...
ECOOP
2003
Springer
14 years 5 months ago
2003
Springer
Modeling four aspect-oriented programming mechanisms shows the way in which each supports modular crosscutting. Comparing the models produces a clear three part characterization of...
ECOOP
2003
Springer
14 years 5 months ago
2003
Springer
ECOOP
2003
Springer
14 years 5 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
ECOOP
2003
Springer
14 years 5 months ago
2003
Springer
Abstract. Embedded computer control is increasingly common in appliances, vehicles, communication devices, medical instruments, and many other systems. Some embedded computer syste...
ECOOP
2003
Springer
14 years 5 months ago
2003
Springer
ECOOP
2003
Springer
14 years 5 months ago
2003
Springer
This paper explains how higher-order hierarchies can be used to handle the expression problem. The expression is concerned with extending both the set of data structures and the s...
ECOOP
2003
Springer
14 years 5 months ago
2003
Springer
ECOOP
2003
Springer
14 years 5 months ago
2003
Springer
