COLIC
发表于 2025-3-26 23:02:49
http://reply.papertrans.cn/31/3004/300304/300304_31.png
habile
发表于 2025-3-27 04:40:05
ACTS: A type system for object-oriented programming based on abstract and concrete classes,e hierarchy can be exploited to describe all common uses of inheritance in a natural way. Finally, we develop the formalism to define abstract and concrete classes and their relationships; and the type system along with the static type checker and the semantic model to interpret type safety.
过分自信
发表于 2025-3-27 06:10:43
Making type inference practical,ation. Experiments indicate that the implementation type checks as much as 100 lines pr. second. This results in a mature product, on which a number of tools can be based, for example a safety tool, an image compression tool, a code optimization tool, and an annotation tool. This may make type inference for object-oriented languages practical.
袋鼠
发表于 2025-3-27 11:12:54
http://reply.papertrans.cn/31/3004/300304/300304_34.png
osculate
发表于 2025-3-27 16:13:26
0302-9743 by the programme committee from 124submissions. Each submitted paper was reviewed by 3-4people, and the selection of papers was based only on thequality of the papers themselves.978-3-540-55668-8978-3-540-47268-1Series ISSN 0302-9743 Series E-ISSN 1611-3349
In-Situ
发表于 2025-3-27 20:37:17
http://reply.papertrans.cn/31/3004/300304/300304_36.png
frozen-shoulder
发表于 2025-3-28 00:46:53
http://reply.papertrans.cn/31/3004/300304/300304_37.png
低能儿
发表于 2025-3-28 03:10:51
Interview mit Dagmar Fritz-Kramerfeatures, such as: · object persistence, multi-methods along a specific specialization hierarchy (which is independent of the class hierarchy), · sophisticated semantic relationships, e.g., dependency relationships between objects (which are totally independent of the composition relationship), · mu
可互换
发表于 2025-3-28 06:55:04
Demografie- und diversitygerechte Führunged 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.
Perceive
发表于 2025-3-28 12:41:04
On unifying relational and object-oriented database systems,mines motivations for unifying the relational and object-oriented data models in a single database system, and outlines design and implementation issues that must be addressed in building such a system.