8 search results - page 1 / 2 » ecoop 1993 |
ECOOP
1993
Springer
13 years 8 months ago
1993
Springer
ECOOP
1993
Springer
13 years 8 months ago
1993
Springer
ECOOP
1993
Springer
13 years 8 months ago
1993
Springer
: To supply the financial engineering community with adequate and timely software support we advocate a reusability oriented approach to software development. The approach focuses ...
ECOOP
1993
Springer
13 years 8 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
13 years 8 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...