983 search results - page 25 / 197 » Object-oriented Abstractions for Distributed Programming |
175
Voted
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...
193
Voted
VMCAI
2004
Springer
15 years 11 months 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 ...
152
Voted
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...
141
Voted
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
230
Voted
POPL
2001
ACM
16 years 6 months ago
2001
ACM