作者: Range-Of-Motion 時間: 2025-3-21 21:30 作者: bile648 時間: 2025-3-22 01:49 作者: 牽連 時間: 2025-3-22 05:11
ry large numbers of very small objects. In addition, the paper puts the performance of THOR in perspective by showing that it substantially outperforms a system based onmemorymapped files, even though that system provides much less functionality than THOR.作者: photophobia 時間: 2025-3-22 10:14
,Das Modell zur Führung von Morgen,ect model, and modules that can be separately typechecked. We identify two sets of restrictions that ensure modular type safety for Dubious as well as an interesting intermediate point between these two.We have proved each of these modular type systems sound.作者: 令人苦惱 時間: 2025-3-22 16:56
A Trace Model for Pointers and Objectsphical calculus [Curtis, Lowe] may help in reasoning about program correctness. It deals with both garbage-collected heaps and the other kind. The theory is based on a trace model of graphs, using ideas from process algebra; and our development seeks to exploit this analogy as a unifying principle.作者: 令人苦惱 時間: 2025-3-22 17:55 作者: 橫條 時間: 2025-3-22 23:41 作者: 提名的名單 時間: 2025-3-23 02:44
Providing Persistent Objects in Distributed Systemsry large numbers of very small objects. In addition, the paper puts the performance of THOR in perspective by showing that it substantially outperforms a system based onmemorymapped files, even though that system provides much less functionality than THOR.作者: Vulnerary 時間: 2025-3-23 07:55
Modular Statically Typed Multimethodsect model, and modules that can be separately typechecked. We identify two sets of restrictions that ensure modular type safety for Dubious as well as an interesting intermediate point between these two.We have proved each of these modular type systems sound.作者: 詢問 時間: 2025-3-23 12:26 作者: 積習已深 時間: 2025-3-23 13:56 作者: 忘川河 時間: 2025-3-23 19:15 作者: Spirometry 時間: 2025-3-24 00:17
Dynamic Query-Based Debuggingxperiments and a query cost model show that selection queries are efficient in most cases, while more costly join queries are practical when query evaluations are infrequent or query domains are small.作者: 不能根除 時間: 2025-3-24 03:50
Internal Iteration Externalizedthin an object-oriented language allows combining the safety and economic usage of internal iteration with the flexibility and client control of external iteration. Sample code is provided using the statically typed Eiffel language.作者: 認為 時間: 2025-3-24 10:13
A Core Calculus of Classes and Mixinsduced by applying mixins to superclasses. Objects are represented by records and produced by instantiating classes. The type system for objects uses only functional, record, and reference types, and there is a clean separation between subtyping and inheritance.作者: Gustatory 時間: 2025-3-24 14:27
A study of the Allocation Behavior of the SPECjvm98 Java Benchmarkse distribution, and the overhead of object alignment. Among other things, we found that non-pointer data usually represents more than 50% of the allocated space for instance objects, that Java objects tend to live longer than objects in Smalltalk or ML, and that they are fairly small.作者: 來就得意 時間: 2025-3-24 18:05
Multi-Method Dispatch Using Multiple Row Displacement implementations of existing techniques: compressed n-dimensional tables, look-up automata and single-receiver projection. MRD uses comparable space to the other techniques, but has faster dispatch performance.作者: Androgen 時間: 2025-3-24 18:59 作者: 路標 時間: 2025-3-24 23:28 作者: 燦爛 時間: 2025-3-25 04:29 作者: 極肥胖 時間: 2025-3-25 09:53 作者: 中古 時間: 2025-3-25 13:11
Conference proceedings 1999nces have ended up with high-quality technical programs, featuring interesting mixtures of theory and practice. Among the 183 initial submissions to ECOOP’99, 20 papers were selected for inclusion in the technical program of the conference. Every paper was reviewed by three to ve referees. The selec作者: BABY 時間: 2025-3-25 18:05 作者: Colonnade 時間: 2025-3-26 00:02
Visualizing Reference Patterns for Solving Memory Leaks in Java references which are holding on to them. Scaling this methodology to real-world systems brings additional challenges. We propose a novel combination of visual syntax and reference pattern extraction to manage this additional complexity. We also describe how these techniques can be applied to a wide作者: Limerick 時間: 2025-3-26 02:54
Foundations for Virtual Typese is to explore a similar connection between virtual types and dependent records. We present, by means of examples, a straightforward model of objects with embedded type fields in a typed lambda-calculus with subtyping, type operators, fixed points, dependent functions, and dependent records with bo作者: tenosynovitis 時間: 2025-3-26 08:02 作者: 運動性 時間: 2025-3-26 10:36 作者: 不可比擬 時間: 2025-3-26 16:21
Christoph Schlachte,Stephan Lobodda a clear semantics and a seamless interaction with the type system. Moreover, the basic mechanism used in the combination, linearization, is formalized and generalized compared to previous presentions.作者: HILAR 時間: 2025-3-26 20:18 作者: Default 時間: 2025-3-26 23:51 作者: Ledger 時間: 2025-3-27 02:23
validated inlinings. This paper presents analyses that allow some virtual calls to be inlined directly, while ensuring that invocations in progress may complete safely even if class loading invalidates the inlining for future invocations. This provides the benefits of direct inlining without the nee作者: pineal-gland 時間: 2025-3-27 06:57 作者: 本能 時間: 2025-3-27 11:36
Synthesizing Objectsenting OO analysis and design with feature modeling and by applying generative implementation techniques. Feature modeling allows capturing the variability of domain concepts. Concrete concept instances can then be synthesized from abstract specifications..Using a simple example of a configurable li作者: Kidnap 時間: 2025-3-27 14:57 作者: lattice 時間: 2025-3-27 20:01 作者: 清楚 時間: 2025-3-28 00:07
A study of the Allocation Behavior of the SPECjvm98 Java Benchmarksons with high demands on the memory system. For each program, we measured as much low level data as possible, including age and size distribution, type distribution, and the overhead of object alignment. Among other things, we found that non-pointer data usually represents more than 50% of the alloc作者: 的闡明 時間: 2025-3-28 02:29 作者: cuticle 時間: 2025-3-28 09:30
Dynamic Query-Based Debuggingthe programmer. Although debugging techniques such as conditional and data breakpoints help to find error causes in simple cases, they fail to effectively bridge the cause-effect gap in many situations. Dynamic querybased debuggers offer programmers an effective tool that provides instant error aler作者: 鈍劍 時間: 2025-3-28 10:51 作者: 圓桶 時間: 2025-3-28 18:08 作者: Unsaturated-Fat 時間: 2025-3-28 19:00 作者: Ischemic-Stroke 時間: 2025-3-28 23:53
Providing Persistent Objects in Distributed Systemsmethods and it supports atomic transactions. The result is a system that allows applications to share objects safely across both space and time..The paper describes how the THOR implementation is able to support this powerful model and yet achieve good performance, even in a wide-area, large-scale d作者: blight 時間: 2025-3-29 05:22 作者: 調(diào)情 時間: 2025-3-29 10:21 作者: inculpate 時間: 2025-3-29 14:14 作者: Cubicle 時間: 2025-3-29 15:48 作者: 過度 時間: 2025-3-29 23:11 作者: wreathe 時間: 2025-3-30 00:42 作者: 內(nèi)疚 時間: 2025-3-30 07:29
,Werte sind ?in” und das ist nicht ?gut”,bject-oriented constructs in a λ-calculus with records and references, we obtain a system with an intuitive operational semantics. New classes are produced by applying mixins to superclasses. Objects are represented by records and produced by instantiating classes. The type system for objects uses o作者: 規(guī)范要多 時間: 2025-3-30 08:53
Christoph Schlachte,Stephan Loboddarm new classes, possibly merging the implementations of methods (as in CLOS). In our approach, a class or method combination operation may cause any number of implicit combinations. For example, it is possible to specify separate aspects of a family of classes, and then combine several aspects into 作者: 意外 時間: 2025-3-30 15:58 作者: 聯(lián)想 時間: 2025-3-30 20:29
Frauenfreundliche Arbeitskontexteun out of memory unexpectedly after performing a number of operations. A memory leak in Java is caused when an object that is no longer needed cannot be reclaimed because another object is still referring to it. Memory leaks can be diffcult to solve, since the complexity of most programs prevents us作者: GUMP 時間: 2025-3-30 23:28
Karl-Heinz Fittkau,Jakob Müller,Nicole Juffathe programmer. Although debugging techniques such as conditional and data breakpoints help to find error causes in simple cases, they fail to effectively bridge the cause-effect gap in many situations. Dynamic querybased debuggers offer programmers an effective tool that provides instant error aler作者: glacial 時間: 2025-3-31 02:07 作者: amenity 時間: 2025-3-31 05:30 作者: aqueduct 時間: 2025-3-31 09:18
out a program, such as determining whether data dependencies may exist between two computations. We define an effects system for Java that preserves the abstraction facilities that make objectoriented programming languages attractive. Specifically, a subclass may extend abstract regions of mutable s作者: Defense 時間: 2025-3-31 15:20
