找回密碼
 To register

QQ登錄

只需一步,快速開(kāi)始

掃一掃,訪問(wèn)微社區(qū)

打印 上一主題 下一主題

Titlebook: ECOOP ‘91 European Conference on Object-Oriented Programming; Geneva, Switzerland, Pierre America Conference proceedings 1991 Springer-Verl

[復(fù)制鏈接]
31#
發(fā)表于 2025-3-26 21:33:06 | 只看該作者
Christian St?we,Lara Keromosemito per call site. For a set of typical object-oriented SELF programs, PICs achieve a median speedup of 11%..As an important side effect, PICs collect type information by recording all of the receiver types actually used at a given call site. The compiler can exploit this type information to generate b
32#
發(fā)表于 2025-3-27 01:36:44 | 只看該作者
33#
發(fā)表于 2025-3-27 07:00:38 | 只看該作者
Dieter Buchner,Josef A. Schmelzerles’ are deltas to the inheritance hierarchy, and form a more useful unit of designer-effort than class subhierarchies. Systems are built by composing capsules, which carry both specifications and code. The semantics of capsule composition is elucidated by examining the relationship between ‘type’ a
34#
發(fā)表于 2025-3-27 12:10:59 | 只看該作者
35#
發(fā)表于 2025-3-27 15:52:43 | 只看該作者
36#
發(fā)表于 2025-3-27 21:02:02 | 只看該作者
?Metzger-Qualit?t“ bei Kreditinstituten!tion primitive of the formal system is purely based on asynchronous communication, which makes it unique among various concurrency formalisms. Computationally this results in a consistent reduction of Milner‘s calculus, while retaining the same expressive power. Seen semantically asynchronous commun
37#
發(fā)表于 2025-3-27 23:23:47 | 只看該作者
quirements. If the constraint is part of a class definition, the class population grows with the product of the number of behaviours. As pointed out in [Goldsack and Atkinson 1990] this undesirable growth may be controlled by separating the specification of the functional characteristics and the beh
38#
發(fā)表于 2025-3-28 03:22:30 | 只看該作者
nderstood. Recent research has demonstrated that by extending the notation to include the idea of a . grouping together a state schema and the operation schemas referring to it, an object oriented specification style can be supported..This paper introduces the concept of inheritance into object orie
39#
發(fā)表于 2025-3-28 06:27:47 | 只看該作者
Die Kraft der Ordnung im Vertrieb,of Z. OOZE supports requirements, specifications, interpretable programs, and compilable programs. The OOZE system is based on OBJ3, and provides rapid prototyping and theorem proving facilities over a module database. OOZE modules can be generic, can be organized hierarchically, and can be used for
40#
發(fā)表于 2025-3-28 12:03:46 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛(ài)論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-21 12:31
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
英吉沙县| 洪雅县| 平凉市| 屯留县| 绥棱县| 翁源县| 留坝县| 宁陕县| 从化市| 福州市| 永善县| 郯城县| 陕西省| 龙山县| 金昌市| 呼伦贝尔市| 湘潭县| 玉树县| 海城市| 丰城市| 平原县| 安福县| 公安县| 北碚区| 兰州市| 安多县| 凤冈县| 秦皇岛市| 延寿县| 石家庄市| 牟定县| 江陵县| 武邑县| 德阳市| 兖州市| 三门峡市| 永济市| 通城县| 咸阳市| 建阳市| 原平市|