ECOOP
1994
Springer
14 years 3 months ago
1994
Springer
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
ECOOP
1994
Springer
14 years 3 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...
ECOOP
1994
Springer
14 years 3 months ago
1994
Springer
FPCA
1993
14 years 3 months ago
1993
Multisets (also called bags) are an interesting data structure for parallelly implemented functional programming languages, since they do not force an unneeded restriction of the ...
FPCA
1993
14 years 3 months ago
1993
FPCA
1993
14 years 3 months ago
1993
Five implementations of di erent lazy functional languages are compared using a common benchmark of a dozen medium size programs. The benchmarking procedure has been designed such...
ECOOP
1993
Springer
14 years 3 months ago
1993
Springer
: Mixin-based inheritance is an inheritance technique that has been shown to subsume a variety of different inheritance mechanisms. It is based directly upon an incremental modific...
ECOOP
1993
Springer
14 years 3 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
ECOOP
1993
Springer
14 years 3 months ago
1993
Springer
Object-oriented programming promises to increase programmer productivity through better reuse of existing code. However, reuse is not yet pervasive in today’s object-oriented pro...
ECOOP
1993
Springer
14 years 3 months ago
1993
Springer