3926 search results - page 56 / 786 » A Logic of Object-Oriented Programs |
ADAEUROPE
2001
Springer
14 years 1 months ago
2001
Springer
: ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS dard, appears to be at a very low-l...
ICPP
2000
IEEE
14 years 1 months ago
2000
IEEE
Message-passing is a well known approach for parallelizing programs. The widely used standard MPI (Message passing interface) also defines C++ bindings. Nevertheless, there is a ...
PEPM
1994
ACM
14 years 1 months ago
1994
ACM
The performance of object-oriented languages can be greatly improved if methods can be specialized for particular classes of arguments. Such specialization can provide the compile...
VLDB
1993
ACM
14 years 1 months ago
1993
ACM
During the pastdecade,object-oriented technology has found its way into programming languages,userinterfaces, databases,operating systems,expert systems,etc. Products labeledasobj...
BIRTHDAY
2004
Springer
14 years 24 days ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...