738 search results - page 38 / 148 » Object Orientation and Formal Techniques |
163
click to vote
ECOOP
2011
Springer
13 years 10 months ago
2011
Springer
Abstract. The information of execution frequencies of virtual call targets is valuable for program analyses and optimizations of object-oriented programs. However, to obtain this i...
IWPC
2005
IEEE
15 years 4 months ago
2005
IEEE
The fact that crosscutting concerns (aspects) cannot be well modularized in object oriented software is an impediment to program comprehension: the implementation of a concern is ...
125
click to vote
PLDI
2012
ACM
13 years 1 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
COMPSAC
2003
IEEE
15 years 4 months ago
2003
IEEE
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
ICSE
1999
IEEE-ACM
15 years 3 months ago
1999
IEEE-ACM
The value of software inspection for uncovering defects early in the development lifecycle has been well documented. Of the various types of inspection methods published to date, ...