746 search results - page 12 / 150 » Real-Life Object-Oriented Systems |
CORR
2002
Springer
13 years 9 months ago
2002
Springer
It is next to impossible to develop real-life applications in just pure Prolog. With XPCE [5] we realised a mechanism for integrating Prolog with an external object-oriented syste...
MM
1997
ACM
14 years 2 months ago
1997
ACM
We describe the design of an object-oriented multimedia database management system that can store and manage SGML/HyTime compliant multimedia documents. The system is capable of s...
ICSM
1996
IEEE
14 years 2 months ago
1996
IEEE
: Object-oriented technology has become mature enough to satisfy many new requirements coming from areas like computer-aided design (CAD), computer-integrated manufacturing (CIM), ...
JSI
1998
13 years 9 months ago
1998
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...
ECOOP
2009
Springer
14 years 10 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...