85 search results - page 1 / 17 » Separation Logic for Multiple Inheritance |
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...
POPL
2008
ACM
14 years 5 months ago
2008
ACM
OOPSLA
1995
Springer
13 years 8 months ago
1995
Springer
Existing schemes for object layout and dispatch in the presence of multiple inheritance and separate compilation waste space and are slower than systems with single inheritance. T...
FMCO
2004
Springer
13 years 10 months ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
IJCAI
1989
13 years 6 months ago
1989
Usually, semantics of inheritance networks is specified indirectly through a translation into one of the standard logical formalisms. Since such translation involves an algorithmi...