作者: Cpap155 時間: 2025-3-21 21:57 作者: 我不怕犧牲 時間: 2025-3-22 00:34 作者: 委屈 時間: 2025-3-22 07:46
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/e/image/300305.jpg作者: Deduct 時間: 2025-3-22 11:06
,(Objects + concurrency) & reusability — A proposal to circumvent the inheritance anomaly,nstructs: (1) Maude‘s inheritance relation, (2) an algebra of messages and (3) the construct of a subconfiguration. By employing these constructs for different kinds of reuse, we show for all examples of the seminal paper on the inheritance anomaly [11] how to circumvent the inheritance anomaly. Our running example is the bounded buffer.作者: 縱欲 時間: 2025-3-22 13:56
emantics of languages that use covariant specialization in order to improve their type safety. We demonstrate our technique using O., a strongly and statically typed object-oriented database programming language which uses covariant specialization. We propose a modification to the O. compiler that a作者: 縱欲 時間: 2025-3-22 17:21
,Die Banalit?t unserer Ich-Zust?nde,t types, subtyping, type matching, and type quantification. Our work complements recent type-theoretical studies of subtyping and type matching by focusing on the issue of how to integrate both concepts into a practical, orthogonal programming language. We also shed some light on the subtle typing i作者: Corroborate 時間: 2025-3-23 00:14 作者: 裂縫 時間: 2025-3-23 03:57 作者: 車床 時間: 2025-3-23 05:46
Das Komische: Wann lachen wir?,t several kinds of software artifacts can be modeled as self-referential namespaces, and software tools based on a model of composition of namespaces can effectively manage these artifacts. We describe four such tools: an interpreter for compositionally modular Scheme, a compositional linker for obj作者: nascent 時間: 2025-3-23 10:37
Das Komische: Wann lachen wir?,sary..Most approaches to generating user interfaces provide some interactive layout facility together with a specialized language for describing user interaction. Realistic automated generation approaches are largely lacking, especially for applications in the area of scientific computing..This pape作者: Ophthalmologist 時間: 2025-3-23 14:49 作者: Hallmark 時間: 2025-3-23 19:37 作者: 人類的發(fā)源 時間: 2025-3-23 23:36
,Konsequenzen für den Führungsalltag,fy the concept of encapsulation, to make systems easier to reason about, to provide better control over the interaction between threads, and to make storage management safer and more efficient. We show that unique pointers can be implemented by means of few minor and virtually costless modifications作者: 毀壞 時間: 2025-3-24 05:06
Rita Strackbein,Dirk Strackbeintood dually to parametrization in algebraic specification. That is, inheritance involves restriction (specialization), where parametrization involves extension. And cofree constructions are “best” restrictions, like free constructions are “best” extensions. To make this view on inheritance precise w作者: Common-Migraine 時間: 2025-3-24 09:38 作者: 忍耐 時間: 2025-3-24 13:38 作者: intrigue 時間: 2025-3-24 17:36 作者: mortgage 時間: 2025-3-24 20:55 作者: venous-leak 時間: 2025-3-24 23:16
Zielkonflikte um Zielvereinbarungenrotocol classes constitute the basic structuring components for higher-level programming models, such as the transactional model, and add flexibility to distributed environments. We focus on classes that implement a generic agreement protocol named . (Dynamic-Terminating-Multicast). To the programme作者: defendant 時間: 2025-3-25 04:13
Anwendungsfelder des Führens mit Zielens. We first investigate problems associated with most existing clustering schemes. We then propose STD, a Statistic-based Tunable and Dynamic clustering strategy which is able to overcome deficiencies of existing solutions. Our main contributions concern the dynamicity of the solution without adding作者: 矛盾心理 時間: 2025-3-25 10:57
Frank Steinbrenner,Sebastian Fetk?terconstraints (e.g. computer integrated manufacturing). However, no comprehensive and integrated modeling approach has been described for conceptually modeling active object-oriented database applications..This paper deals with these issues by extending the research of object-oriented methods with an 作者: 放氣 時間: 2025-3-25 14:18 作者: Soliloquy 時間: 2025-3-25 15:59 作者: BALE 時間: 2025-3-25 22:43 作者: Juvenile 時間: 2025-3-26 01:48 作者: 鉤針織物 時間: 2025-3-26 05:19 作者: vasculitis 時間: 2025-3-26 09:08 作者: MOCK 時間: 2025-3-26 14:13 作者: 不容置疑 時間: 2025-3-26 19:46 作者: 設(shè)施 時間: 2025-3-26 23:58 作者: 離開真充足 時間: 2025-3-27 04:59
Frank Steinbrenner,Sebastian Fetk?terM). The nested object model extends the OMT object model by adding nesting capabilities, and by providing a better abstraction mechanism for developing database applications in multi-level diagrams. Moreover, the nested object model adds rules to classes to specify their active behavior. The behavio作者: 弄皺 時間: 2025-3-27 06:59
,Selbstarch?ologie als Ich-Arbeit,ped λ-calculus . with overloaded functions, where redefinitions and late binding become late binding of overloaded functions. The operational semantics of . gives a semantics and a simple prototyping implementation of TOFL.作者: Nomogram 時間: 2025-3-27 10:13 作者: 不能逃避 時間: 2025-3-27 17:16
Das Komische: Wann lachen wir?,ersions of the same programs, performance improved by a median of 26% and the number of virtual calls dropped by a factor of 17.5. Our measurements indicate that inlining barely increases code size, and that for most programs, the instruction cache miss ratio does not increase significantly.作者: 矛盾 時間: 2025-3-27 21:46 作者: 亂砍 時間: 2025-3-27 22:17 作者: 僵硬 時間: 2025-3-28 02:59 作者: 侵略主義 時間: 2025-3-28 09:58 作者: 彎彎曲曲 時間: 2025-3-28 13:44
Dynamic clustering in object databases exploiting effective use of relationships between objects,g specifications are built from observation upon objects life, capturing any type of logical or structural inter-object links. Moreover, our clustering mechanism does not need any user or administrators hints, but remains user-controlled. A partial validation of STD has been made using Texas.作者: FEAT 時間: 2025-3-28 16:30 作者: 墊子 時間: 2025-3-28 21:02 作者: ANTE 時間: 2025-3-29 00:39 作者: 彎腰 時間: 2025-3-29 03:53
An application framework for module composition tools,rlying model. We describe a reusable OO framework for efficiently constructing such tools. Three of the above tools were built by directly reusing the application framework, and the fourth evolved in parallel with it. We provide reuse statistics and experiences with the development of our framework and its completions.作者: 體貼 時間: 2025-3-29 10:21 作者: 不舒服 時間: 2025-3-29 13:09
Towards alias-free pointers,torage management safer and more efficient. We show that unique pointers can be implemented by means of few minor and virtually costless modifications in conventional OO languages, such as Eiffel or C++; and that they can be used conveniently in a broad range of algorithms and data structures.作者: 喊叫 時間: 2025-3-29 19:23 作者: Conflagration 時間: 2025-3-29 21:32
Modeling subobject-based inheritance,oal of this paper is to present a relatively simple calculus to describe subobjects and subobject selection explicitly. Rather than present any deep theorems here, we develop a general calculus that can be used to explore the design of inheritance systems.作者: 放牧 時間: 2025-3-30 02:11 作者: 繞著哥哥問 時間: 2025-3-30 04:23 作者: 潛伏期 時間: 2025-3-30 10:45
Energie in uns und im Unternehmen,s. The instruction code level transparency naturally accomplishes object migration and enables efficient manipulation of migrated objects. The distributed dynamic methods provide the programmers with flexible control of activities.作者: 不滿分子 時間: 2025-3-30 15:53 作者: DEBT 時間: 2025-3-30 18:59
Integrating subtyping, matching and type quantification: A practical perspective,ssues which we encountered during the construction of a substantial bulk data library where it was necessary to trade-off subtyping against type matching. Our practical experience suggests that the benefits of an integration of subtyping and type matching are achieved at the expense of a significant increase in modeling complexity.作者: jealousy 時間: 2025-3-30 22:35
An implementation method of migratable distributed objects using an RPC technique integrated with vs. The instruction code level transparency naturally accomplishes object migration and enables efficient manipulation of migrated objects. The distributed dynamic methods provide the programmers with flexible control of activities.作者: cochlea 時間: 2025-3-31 01:50
Protocol classes for designing reliable distributed environments,r, the . appears as a set of classes that can be specialized to solve agreement problems in distributed systems. In particular, we show how those classes can be derived to build . and . protocols. An overview of the Smalltalk design and implementation of the . library is also presented.作者: Biomarker 時間: 2025-3-31 06:13
0302-9743 ide range of current topics, including applications, programming languages, implementation, specification, distribution, databases, and design.978-3-540-61439-5978-3-540-68570-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 擦掉 時間: 2025-3-31 11:35
0302-9743 ng, ECOOP ‘96, held in Linz, Austria, in July 1996..The 21 full papers included in revised version were selected from a total of 173 submissions, based on technical quality and originality criteria. The papers reflect the most advanced issues in the field of object-oriented programming and cover a w作者: 干旱 時間: 2025-3-31 16:10 作者: Conspiracy 時間: 2025-3-31 20:47 作者: 打擊 時間: 2025-4-1 01:39 作者: ALLAY 時間: 2025-4-1 02:09
