3926 search results - page 50 / 786 » A Logic of Object-Oriented Programs |
150
Voted
DOOD
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
132
Voted
ECOOP
1997
Springer
15 years 8 months ago
1997
Springer
We present the design and rationale of a new statically-typed object-oriented language, LOOM. LOOM retains most of the features of the earlier language PolyTOIL. However the subtyp...
191
Voted
ECOOP
1994
Springer
15 years 7 months ago
1994
Springer
There is an undeniable demand to capture already proven and matured object-oriented design so that building reusable object-oriented software does not always have to start from scr...
160
Voted
ECOOP
1992
Springer
15 years 7 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
151
Voted
ICIAP
1995
ACM
15 years 7 months ago
1995
ACM
This work describes how the use of object-oriented technology can help to separate the implementation of algorithms in digital image processing systems from the coding of “non-es...