๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A weakest precondition semantics for refinement of object-oriented programs

โœ Scribed by Cavalcanti, A.; Naumann, D.A.

Book ID
111903230
Publisher
IEEE
Year
2000
Tongue
English
Weight
298 KB
Volume
26
Category
Article
ISSN
0098-5589

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Design of a Remote Procedure Call system
Design of a Remote Procedure Call system for object-oriented distributed programming
โœ AR Tripathi; T Noonan ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 166 KB ๐Ÿ‘ 2 views

This paper describes the design of an RPC system for building object-oriented distributed software systems. The general requirements for such a system are to provide mechanisms for supporting inheritance, polymorphism, dynamic binding, and modular development in implementing distributed software sys

Design and implementation of a distribut
Design and implementation of a distributed computing environment model for object-oriented networks programming
โœ Li Chunlin; Lu Zhengding; Li Layuan ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 241 KB

This paper presents a Java-based distributed computing environment (JDCE) model. First, a framework of the proposed JDCE model is described, and the processes for implementing the model are given, which can consist of three processes, i.e., ยฎnd process, connect process and locate process. The ยฎnd pr