88 search results - page 1 / 18 » Object-Oriented Programming with Recursive Queries |
DBA
2006
13 years 10 months ago
2006
: Recursive queries are required in many object-oriented database applications. Among them we can mention Bill-Of-Material (BOM), stock market dependencies, various kinds of networ...
ESOP
1998
Springer
14 years 23 days ago
1998
Springer
ECOOP
1998
Springer
14 years 23 days ago
1998
Springer
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
FMOODS
2003
13 years 10 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...
FM
1994
Springer
14 years 19 days ago
1994
Springer
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...