Sciweavers

3558 search results - page 29 / 712
» Object-Oriented Programming on the Network
Sort
View
APSEC
2006
IEEE
13 years 10 months ago
Safety Analysis for Dynamic Update of Object Oriented Programs
Yogesh Murarka, Umesh Bellur, Rushikesh K. Joshi
CSMR
2008
IEEE
13 years 10 months ago
Understanding the Impact of Distribution in Object-Oriented Distributed Systems Using Structural Program Dependencies
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
Dan C. Cosma, Radu Marinescu
FMOODS
2003
13 years 10 months ago
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
Cees Pierik, Frank S. de Boer