作者: 闡明 時(shí)間: 2025-3-21 22:24
Towards a formalization of the Unified Modeling Language,on of UML the syntax and the semantics of a number of UML constructs are not precisely defined. This paper outlines a proposal for the formal foundation of UML that is based on a mathematical system model.作者: 繁榮地區(qū) 時(shí)間: 2025-3-22 01:36 作者: 腐爛 時(shí)間: 2025-3-22 06:05 作者: 治愈 時(shí)間: 2025-3-22 09:52
icts, illustrates that the use of exception handling in object-oriented systems poses potential pitfalls, and suggests that their resolution is one of the first steps necessary to make exception handling robust in object-oriented designs and languages.作者: 一罵死割除 時(shí)間: 2025-3-22 13:27
impler than ., yet is just as expressive. The type system for the language is decidable and provably type safe. The addition of modules to the language provides better control over information hiding and allows the provision of access like that of C++‘s friends.作者: 一罵死割除 時(shí)間: 2025-3-22 19:37 作者: 使無效 時(shí)間: 2025-3-22 23:34 作者: Rheumatologist 時(shí)間: 2025-3-23 04:40
,Die übernahme von Führungsverantwortung, selectors there are in a system, while it almost maintains the runtime efficiency of selector code indexing. The simulation results show that, when carefully applied, optimization by CISCO is very promising, with cache miss ratios of less than 1.0% in real programs.作者: 毛細(xì)血管 時(shí)間: 2025-3-23 08:14
,Ver?nderungen führen und lenken,tions and that of the entire system. This leads us to propose a notion of subsystem which generalises the concept of object and yields an approach to system specification employing object-like encapsulation in a nested hierarchy of components.作者: GOUGE 時(shí)間: 2025-3-23 11:04
Conference proceedings 1997inland, in June 1997..The book presents 20 revised full papers selected from a total of 103 submissions; also included are two full invited presentations and one abstract of an invited talk. The book is divided into topical sections on programming languages, types, metaprogramming, implementation an作者: etidronate 時(shí)間: 2025-3-23 15:41 作者: evaculate 時(shí)間: 2025-3-23 20:27 作者: Influx 時(shí)間: 2025-3-24 01:04
Kommunikation in Konfliktsituationen,on of UML the syntax and the semantics of a number of UML constructs are not precisely defined. This paper outlines a proposal for the formal foundation of UML that is based on a mathematical system model.作者: 平常 時(shí)間: 2025-3-24 02:39
Virtuelle Teams im Kontext der Organisation,essages to the object. Types in the proposed model express requirements on the coordination of users; objects must accept messages only in pre-specified orders. The model ensures statically that objects behave as specified by their types, and users are coordinated appropriately.作者: freight 時(shí)間: 2025-3-24 08:15
,Auswertungen bezüglich der ?Innovation“,stem, issues with inheritance and genericity in general, and give a specific suggestion as to how virtual types should be integrated into Java. Finally we describe how to make an efficient implementation of virtual types based only upon the existing Java virtual machine.作者: grieve 時(shí)間: 2025-3-24 14:26
e in a wide range of areas such as program transformation, memory management and distributed systems. They are the key to obtaining self-contained composite objects, truly opaque data abstractions and value types—important concepts for the development of large scale, provably correct programs.作者: 厭食癥 時(shí)間: 2025-3-24 17:56 作者: 串通 時(shí)間: 2025-3-24 20:55
Balloon types: Controlling sharing of state in data types,e in a wide range of areas such as program transformation, memory management and distributed systems. They are the key to obtaining self-contained composite objects, truly opaque data abstractions and value types—important concepts for the development of large scale, provably correct programs.作者: 富足女人 時(shí)間: 2025-3-25 00:18
Aspect-oriented programming,at makes it possible to clearly express programs involving such aspects, including appropriate isolation, composition and reuse of the aspect code. The discussion is rooted in systems we have built using aspect-oriented programming.作者: Acetaminophen 時(shí)間: 2025-3-25 06:58
ip between people, computer hardware, organisational rules and programs in general distributed systems. GOODS also aims at introducing general tools for specifying visibilities of objects (scopes) and the precise dealing with the identities of objects that exist in many versions in a distributed environment.作者: 某人 時(shí)間: 2025-3-25 11:13 作者: chance 時(shí)間: 2025-3-25 12:23 作者: 誹謗 時(shí)間: 2025-3-25 16:49
Denktaktik: Kreativer Arbeitsplatz,tically limit the visibility of such changes between zones. We present work in progress on DRASTIC‘s computational model and run-time system, illustrating support for software evolution and highlighting key features of our current implementation.作者: 重疊 時(shí)間: 2025-3-25 22:07 作者: 法律 時(shí)間: 2025-3-26 03:12
,Führungs-Dilemma — Schicksal oder Chance,feature model as an extension of Java and give two translations to Java, one via inheritance and the other via aggregation. We further discuss parameterized features, which work nicely with our feature model and can be translated into Pizza, an extension of Java.作者: neoplasm 時(shí)間: 2025-3-26 06:25
GOODS to appear on the stage,ip between people, computer hardware, organisational rules and programs in general distributed systems. GOODS also aims at introducing general tools for specifying visibilities of objects (scopes) and the precise dealing with the identities of objects that exist in many versions in a distributed environment.作者: 多產(chǎn)子 時(shí)間: 2025-3-26 11:18 作者: 使激動(dòng) 時(shí)間: 2025-3-26 13:21 作者: Memorial 時(shí)間: 2025-3-26 16:56
DRASTIC: A run-time architecture for evolving, distributed, persistent systems,tically limit the visibility of such changes between zones. We present work in progress on DRASTIC‘s computational model and run-time system, illustrating support for software evolution and highlighting key features of our current implementation.作者: 傳染 時(shí)間: 2025-3-26 23:07 作者: 青石板 時(shí)間: 2025-3-27 04:19
Feature-oriented programming: A fresh look at objects,feature model as an extension of Java and give two translations to Java, one via inheritance and the other via aggregation. We further discuss parameterized features, which work nicely with our feature model and can be translated into Pizza, an extension of Java.作者: overwrought 時(shí)間: 2025-3-27 08:49
Issues with exception handling in object-oriented systems,icts, illustrates that the use of exception handling in object-oriented systems poses potential pitfalls, and suggests that their resolution is one of the first steps necessary to make exception handling robust in object-oriented designs and languages.作者: Dri727 時(shí)間: 2025-3-27 12:34
,Subtyping is not a good “match” for object-oriented languages,impler than ., yet is just as expressive. The type system for the language is decidable and provably type safe. The addition of modules to the language provides better control over information hiding and allows the provision of access like that of C++‘s friends.作者: 似少年 時(shí)間: 2025-3-27 13:58
A reflective architecture for process control applications,ct depending on plant state, significantly ease the programming of the monitoring and controlling part. Composition of metaobjects makes the architecture extensible and avoids to program metaobjects for all possible combinations of behaviour. A diagnosis system based on the proposed architecture has been implemented.作者: micronutrients 時(shí)間: 2025-3-27 17:58
A general framework for inheritance management and method dispatch in object-oriented languages, highly efficient, with low millisecond average modification time, and supports table-based dispatch even in schema-evolving languages. During table maintenance, the framework detects and records inheritance conflicts, and maintains information useful during compile-time optimizations.作者: Bmd955 時(shí)間: 2025-3-28 00:05 作者: thyroid-hormone 時(shí)間: 2025-3-28 05:47
Objects, associations and subsystems: A hierarchical approach to encapsulation,tions and that of the entire system. This leads us to propose a notion of subsystem which generalises the concept of object and yields an approach to system specification employing object-like encapsulation in a nested hierarchy of components.作者: Pathogen 時(shí)間: 2025-3-28 08:27
Conference proceedings 1997d systems, formal methods and specifications, Java, and patterns. All in all, the volume impressively demonstrates that object-oriented technology has grown from a limited academic exercise to an industrial driving force.作者: intrigue 時(shí)間: 2025-3-28 12:46
0302-9743 , types, metaprogramming, implementation and systems, formal methods and specifications, Java, and patterns. All in all, the volume impressively demonstrates that object-oriented technology has grown from a limited academic exercise to an industrial driving force.978-3-540-63089-0978-3-540-69127-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: MELON 時(shí)間: 2025-3-28 17:27 作者: BLANK 時(shí)間: 2025-3-28 21:27 作者: ambivalence 時(shí)間: 2025-3-28 23:49
GOODS to appear on the stage,atre and the operation of information systems (and program executions). This metaphor will be used in a description of the ideas pursued and developed in the GOODS Project (General Object-Oriented Distributed Systems), a three year project supported by The Norwegian Research Council, starting Januar作者: 善于騙人 時(shí)間: 2025-3-29 05:07
Balloon types: Controlling sharing of state in data types,ding possibility of sharing is a source of errors and an obstacle to language implementation techniques..We present a general extension to programming languages which makes the ability to share state a first class property of a data type, resolving a long-standing flaw in existing data abstraction m作者: sinoatrial-node 時(shí)間: 2025-3-29 09:24 作者: 清唱?jiǎng)?nbsp; 時(shí)間: 2025-3-29 12:40 作者: ventilate 時(shí)間: 2025-3-29 18:03 作者: 恃強(qiáng)凌弱的人 時(shí)間: 2025-3-29 19:44
Near optimal hierarchical encoding of types,e inclusion test plays an important role in the performance of object oriented programming languages with multiple subtyping like C++, Eiffel or Java. There are well-known methods for performing fast constant time type inclusion tests that use a hierarchical bit vector encoding of the partial ordere作者: 慢跑鞋 時(shí)間: 2025-3-30 01:22 作者: 不規(guī)則 時(shí)間: 2025-3-30 05:02 作者: Charitable 時(shí)間: 2025-3-30 08:16 作者: consent 時(shí)間: 2025-3-30 14:43 作者: 腫塊 時(shí)間: 2025-3-30 18:29 作者: Inscrutable 時(shí)間: 2025-3-31 00:29
A general framework for inheritance management and method dispatch in object-oriented languages,e-based method dispatch. It demonstrates how most existing table-based dispatch techniques can be generalized and made incremental, so that relevant entries in the dispatch table are modified each time a selector or class hierarchy link is added or removed. The incremental nature makes the framework作者: indigenous 時(shí)間: 2025-3-31 02:56
Optimizing Smalltalk by selector code indexing can be practical,talk, because the space overhead is prohibitive. We propose a new technique called “dispatch caches indexed by selector codes” (CISCO), which maintains a small number of dispatch tables indexed by a small number of selector codes. The space overhead is thus a small constant, however many classes and作者: 假裝是我 時(shí)間: 2025-3-31 07:59 作者: inscribe 時(shí)間: 2025-3-31 10:17
Towards a formalization of the Unified Modeling Language,OOD, OMT and OOSE and is intended as a standard in the domain of object-oriented analysis and design. Due to the missing formal, mathematical foundation of UML the syntax and the semantics of a number of UML constructs are not precisely defined. This paper outlines a proposal for the formal foundati作者: asthma 時(shí)間: 2025-3-31 14:00 作者: 放牧 時(shí)間: 2025-3-31 20:12
,Java is type safe — Probably,e produced by external, unknown sources. Rather than waiting to find out empirically what damage Java programs do, we aim to examine first the language and then the environment looking for points of weakness. A proof of the soundness of the Java type system is a first, necessary step towards demonst作者: 歸功于 時(shí)間: 2025-4-1 00:49 作者: 加劇 時(shí)間: 2025-4-1 02:01
Genericity in java with virtual types,‘s object model. The same basic mechanism is also known as virtual patterns in . and as generics in .95. We discuss various issues in the Java type system, issues with inheritance and genericity in general, and give a specific suggestion as to how virtual types should be integrated into Java. Finall作者: Salivary-Gland 時(shí)間: 2025-4-1 08:36 作者: ostensible 時(shí)間: 2025-4-1 11:19 作者: 任意 時(shí)間: 2025-4-1 15:11
ECOOP ‘97 - Object-Oriented Programming978-3-540-69127-3Series ISSN 0302-9743 Series E-ISSN 1611-3349
