1072 search results - page 10 / 215 » Object-Oriented Type Inference |
WER
1999
Springer
15 years 1 months ago
1999
Springer
We present the overall design of an object-oriented library for use when developing tracing capable applications. The library is implemented as java classes and consists of de niti...
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— We propose a learning algorithm for estimating the 3-D orientation of objects. Orientation learning is a difficult problem because the space of orientations is non-Euclidean, ...
ESORICS
1998
Springer
15 years 1 months ago
1998
Springer
When implementing a multilevel security policy for Object-Oriented Databases (OODBs), several aspects have to be investigated. One of these aspect is the design of multilevel OODB...
85
Voted
BIRTHDAY
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...