找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: ECOOP ‘95 - Object-Oriented Programming; 9th European Confere Mario Tokoro,Remo Pareschi Conference proceedings 1995 Springer-Verlag Berlin

[复制链接]
楼主: 颂歌
发表于 2025-3-30 10:21:03 | 显示全部楼层
Grundlagen zur Koordination im Vertriebating type-checking rules and expressing the bounds on type parameters for polymorphism. The design of PolyTOIL is based on a careful formal definition of type-checking rules and semantics. A proof of type safety is obtained with the aid of a subject reduction theorem.
发表于 2025-3-30 16:04:25 | 显示全部楼层
发表于 2025-3-30 19:03:58 | 显示全部楼层
they combine the advantages but shun the disadvantages of both paradigms. A denotational semantics of an exemplar encapsulated inheritance mechanism on objects is given and compared with the standard denotational semantics of class- and object-based inheritance. This comparison confirms our claims.
发表于 2025-3-30 20:57:33 | 显示全部楼层
to object models provides a framework for creating, reusing and integrating complex object behaviours. Using such a framework, we show that users can develop and integrate quite different object models while retaining a high degree of abstraction and fostering meta-level component reuse.
发表于 2025-3-31 01:32:53 | 显示全部楼层
发表于 2025-3-31 05:43:27 | 显示全部楼层
发表于 2025-3-31 11:11:23 | 显示全部楼层
Objects with Multiple Most Specific Classes of context and characterize the state of an object in terms of the set of its most specific classes. Moreover, we discuss two different dispatching approaches, one allowing context-dependent behavior, the other one ensuring behavior identity.
发表于 2025-3-31 16:16:31 | 显示全部楼层
发表于 2025-3-31 19:52:42 | 显示全部楼层
发表于 2025-3-31 22:37:17 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-10 03:44
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表