8 search results - page 1 / 2 » ecoop 1993 |
ECOOP
1993
Springer
13 years 10 months ago
1993
Springer
ECOOP
1993
Springer
13 years 10 months ago
1993
Springer
ECOOP
1993
Springer
13 years 10 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 10 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 10 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...