17 search results - page 3 / 4 » ecoop 2003 |
ECOOP
2003
Springer
13 years 10 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...
ECOOPW
2003
Springer
13 years 10 months ago
2003
Springer
Report about the ECOOP 2003 workshop WS 03, “.NET: The Programmer’s Perspective”. Much of the push behind Microsoft's new .NET technology has been directed at such ...
ECOOP
2003
Springer
13 years 10 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
13 years 10 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
13 years 10 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...