34 search results - page 1 / 7 » Incremental Reasoning for Multiple Inheritance |
IFM
2009
Springer
13 years 11 months ago
2009
Springer
Object-orientation supports code reuse and incremental programming. Multiple inheritance increases the power of code reuse, but complicates the binding of method calls and thereby ...
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
Inheritance and polymorphism are key mechanisms of the object-oriented approach that enable designers to develop systems in an incremental manner. In this paper, we develop techni...
CL
1999
Springer
13 years 4 months ago
1999
Springer
ENTCS
2008
13 years 4 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
ECOOP
1992
Springer
13 years 9 months ago
1992
Springer
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the for...