3926 search results - page 29 / 786 » A Logic of Object-Oriented Programs |
APSEC
2008
IEEE
14 years 2 months ago
2008
IEEE
Online update is a technique that reduces the disruption caused by a software update. It does so by applying a patch to a running process as opposed to shutting down the process a...
OOPSLA
1997
Springer
13 years 12 months ago
1997
Springer
Object relationships in modern software systems are becoming increasingly numerous and complex. Programmers who try to find violations of such relationships need new tools that al...
OOPSLA
1989
Springer
13 years 11 months ago
1989
Springer
The notions of class, subclass and virtual procedure are fairly well understood and recognized as some of the key concepts in object-oriented programming. The possibility of modif...
ICSM
2007
IEEE
14 years 2 months ago
2007
IEEE
ECOOPW
2007
Springer
14 years 1 months ago
2007
Springer