Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ECOOP
2003
Springer
10 years 9 months ago
Two-Dimensional Bi-directional Object Layout
Yoav Zibin, Joseph Gil
ECOOP
2003
Springer
10 years 9 months ago
Traits: Composable Units of Behaviour
Despite the undisputed prominence of inheritance as the fundamental reuse mechanism in object-oriented programming languages, the main variants — single inheritance, multiple inh...
Nathanael Schärli, Stéphane Ducasse, O...
ECOOP
2003
Springer
10 years 9 months ago
Java Subtype Tests in Real-Time
Krzysztof Palacz, Jan Vitek
ECOOP
2003
Springer
10 years 9 months ago
A Nominal Theory of Objects with Dependent Types
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...
Martin Odersky, Vincent Cremet, Christine Röc...
ECOOP
2003
Springer
10 years 9 months ago
LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications
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...
Nick Mitchell, Gary Sevitsky
ECOOP
2003
Springer
10 years 9 months ago
Modeling Crosscutting in Aspect-Oriented Mechanisms
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...
Hidehiko Masuhara, Gregor Kiczales
ECOOP
2003
Springer
10 years 9 months ago
A Calculus of Untyped Aspect-Oriented Programs
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...
Radha Jagadeesan, Alan Jeffrey, James Riely
ECOOP
2003
Springer
10 years 9 months ago
Open APIs for Embedded Security
Abstract. Embedded computer control is increasingly common in appliances, vehicles, communication devices, medical instruments, and many other systems. Some embedded computer syste...
Carl A. Gunter
ECOOP
2003
Springer
10 years 9 months ago
Regular Object Types
Vladimir Gapeyev, Benjamin C. Pierce
books