Fillet,Filet
发表于 2025-3-28 16:08:04
Object-oriented multi-methods in Cecil, object can be encapsulated by being accessible only to the closely-connected multi-methods. We are exploring this object-oriented view of multi-methods in the context of a new programming language named Cecil.
节省
发表于 2025-3-28 20:33:24
http://reply.papertrans.cn/31/3004/300304/300304_42.png
Encapsulate
发表于 2025-3-29 02:31:22
Integrating constraints with an object-oriented language,ed object model, multi-methods, and constraint constructors to integrate cleanly the encapsulation and abstraction of a state-of-the-art object-oriented language with the declarative aspects of constraints.
Galactogogue
发表于 2025-3-29 03:35:42
On unifying relational and object-oriented database systems,d experiment with database systems that support an object-oriented data model or that extend the relational data model with some object-oriented facilities. These activities have been fueled by the emergence of a broad spectrum of database applications which relational database systems cannot suppor
乐章
发表于 2025-3-29 09:28:35
http://reply.papertrans.cn/31/3004/300304/300304_45.png
词根词缀法
发表于 2025-3-29 12:48:47
http://reply.papertrans.cn/31/3004/300304/300304_46.png
Aggrandize
发表于 2025-3-29 19:38:52
Aggregation in a behavior oriented object model,n two kinds of aggregation, static and dynamic aggregation. Static aggregation means that the composition of objects is described using predicates over constant properties. Dynamic aggregation means that we may alter the composition of objects by invoking special operations (.) that are implicitly d
秘传
发表于 2025-3-29 23:29:23
Reasoning and refinement in object-oriented specification languages,lopment styles for the facilitation of validation and verification of implementations against specifications in this language. We give inference rules for showing that certain forms of inheritance lead to refinement, and for showing that refinements are preserved by constructs such as . of an operat
frenzy
发表于 2025-3-30 00:09:52
Combining object-oriented and logic paradigms: A modal logic programming approach,efly studied and categorized, and a sketch of a new solution has been proposed which tries to capture the essence of OO in terms of modal logic, and which could be implemented as a modal logic programming system..The proposal is based on the belief that two orthogonal dimensions — object hierarchy a
训诫
发表于 2025-3-30 06:07:57
http://reply.papertrans.cn/31/3004/300304/300304_50.png