ECOOP
2003
Springer
14 years 5 months ago
2003
Springer
ECOOP
2003
Springer
14 years 5 months ago
2003
Springer
Despite the undisputed prominence of inheritance as the fundamental reuse mechanism in object-oriented programming languages, the main variants — single inheritance, multiple inh...
ECOOP
2003
Springer
14 years 5 months ago
2003
Springer
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