983 search results - page 25 / 197 » Object-oriented Abstractions for Distributed Programming |
190
click to vote
CAISE
1995
Springer
15 years 10 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
200
click to vote
VMCAI
2004
Springer
16 years 19 hour ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
162
click to vote
JOT
2002
15 years 6 months ago
2002
Java supports distributed programming using threads and Remote Method Invocation (JRMI). However, a Java thread does not match well with the object concept, and JRMI cannot easily...
150
Voted
ESOP
2004
Springer
16 years 2 days ago
2004
Springer