2105 search results - page 58 / 421 » Decoupling in Object Orientation |
112
click to vote
BIRTHDAY
2003
Springer
15 years 6 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...
103
Voted
ECOOPW
2000
Springer
15 years 5 months ago
2000
Springer
The objective of this workshop was to discuss current tools and environments for learning object-oriented concepts and to share ideas and experiences about the usage of computer su...
126
click to vote
JMLC
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
104
click to vote
FM
1994
Springer
15 years 5 months 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...
VLDB
1994
ACM
15 years 5 months ago
1994
ACM
OdeFSis a file-like interface to the Ode objectoriented database. OdeFS allows database objects to be accessedand manipulated with standardcommands,just like files in atraditional...