3558 search results - page 29 / 712 » Object-Oriented Programming on the Network |
APSEC
2006
IEEE
15 years 5 months ago
2006
IEEE
140
click to vote
CSMR
2008
IEEE
15 years 4 months ago
2008
IEEE
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...
PARCO
2007
15 years 4 months ago
2007
146
click to vote
FMOODS
2003
15 years 4 months ago
2003
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...