ECOOP
1999
Springer
14 years 4 months ago
1999
Springer
: Object-oriented programs Dahl, Goldberg, Meyer are notoriously prone to the following kinds of error, which could lead to increasingly severe problems in the presence of tasking
ECOOP
1999
Springer
14 years 4 months ago
1999
Springer
Abstract. This paper presents a mixin based class and method combination mechanism with block structure propagation. Traditionally, mixins can be composed to form new classes, poss...
ECOOP
1999
Springer
14 years 4 months ago
1999
Springer
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...
ECOOP
1999
Springer
14 years 4 months ago
1999
Springer
ECOOP
1999
Springer
14 years 4 months ago
1999
Springer
Several advanced applications, such as those dealing with the Web, need to handle data whose structure is not known a-priori. Such requirement severely limits the applicability of ...
ECOOP
1999
Springer
14 years 4 months ago
1999
Springer
ECOOP
1999
Springer
14 years 4 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...
ECOOP
1999
Springer
14 years 4 months ago
1999
Springer
We discuss aspects of inlining of virtual method invocations. First, we introduce a new method test to guard inlinings of such invocations, with a di erent set of tradeo s from the...
ECOOP
1999
Springer
14 years 4 months ago
1999
Springer
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...
CADE
1999
Springer
14 years 4 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...