Multiple dispatching provides increased expressive power over single dispatching by guiding method lookup using the values of all arguments instead of only the receiver. However, existing languages with multiple dispa...
详细信息
作者：
UUSTALU, TDept. of Mathematics
Institute of Cybernetics Estonian Acad. Sci. Akadeemia tee 21 Tallinn EE-0108 Estonia
In this paper, a number of existing solutions and suggestions towards combining the object-oriented (OO) and logic programming paradigms have been briefly studied and categorized, and a sketch of a new solution has be...
详细信息
This paper describes a formal object-oriented specification language, Z++, and identifies proof rules and associated specification structuring and development styles for the facilitation of validation and verification...
详细信息
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 on providing persistent dynamic data st...
详细信息
This paper presents SIROCO, a research on user interface design and development support in an object-orientedprogramming environment. User interface (UI) design in SIROCO focuses on conceptual modeling;a fully object...
详细信息
作者：
KIM, WUniSQL
Inc. 9390 Research Blvd Austin 78759 TX United States
The past several years have been the gestation period for a new generation of database technology. There has been a flurry of activities to develop and experiment with database systems that support an object-oriented ...
详细信息
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the form of incrementally more restrictive c...
详细信息
An approach for supporting physical independence in object Database Servers is proposed in this paper. While in current implementations the strategy for storing data objects reflects the logical object definitions, a ...
详细信息
TROLL is a language to specify information systems with dynamic behavior. Here, we elaborate on the specification of object aggregation in TROLL-We distinguish between two kinds of aggregation, static and dynamic aggr...
详细信息
Applications requiring sophisticated modeling techniques raise challenging issues to software designers. CAD/CAM and genetics are example of applications that call for powerful modeling techniques. Existing approaches...
详细信息
暂无评论