最高点
发表于 2025-3-23 10:24:33
http://reply.papertrans.cn/31/3003/300296/300296_11.png
乐意
发表于 2025-3-23 17:43:23
http://reply.papertrans.cn/31/3003/300296/300296_12.png
Limerick
发表于 2025-3-23 18:15:32
Flow Analysis of Code Customizationsata, in the form of XML files, and code customizations, in the form of Java files, has led to a hybrid development platform. The expected consistency requirements between metadata and code should be checked but often are not, so current tools offer surprisingly poor development support. In this pape
exclamation
发表于 2025-3-23 22:47:57
Online Phase-Adaptive Data Layout Selectionrd. This paper introduces layout auditing, a technique that selects the best among a set of layouts online (while the program is running). Layout auditing randomly applies different layouts over time and observes their performance. As it becomes confident about which layout performs best, it selects
中和
发表于 2025-3-24 04:09:58
MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environmentsf multiple applications within a single operating system process. Multi-tasking MREs can potentially extract high-performance on desktop and hand-held systems through aggressive sharing of classes and compiled code, and by exploiting high-level dynamic program information..We investigate the perform
相互影响
发表于 2025-3-24 07:10:23
Externalizing Java Server Concurrency with ,l-purpose server programs are increasingly difficult to conceive as the runtime conditions are hard to predict. In this work, we advocate that the concurrency code is to be decoupled from server programs. To enable such separation, we propose and evaluate ., — the Concurrency Aspect Library. . provi
熔岩
发表于 2025-3-24 13:00:41
Regional Logic for Local Reasoning about Global Invariants-avoiding partial correctness of programs featuring shared mutable objects. Using a first order assertion language, the logic provides heap-local reasoning about mutation and separation, via ghost fields and variables of type ‘region’ (finite sets of object references). A new form of modifies clause
coalition
发表于 2025-3-24 17:54:07
A Unified Framework for Verification Techniques for Object Invariantsl visible-state verification techniques for object invariants have been proposed. It is difficult to compare these techniques and ascertain their soundness because of differences in restrictions on programs and invariants, in the use of advanced type systems (.... ownership types), in the meaning of
metropolitan
发表于 2025-3-24 20:31:54
Extensible Universes for Object-Oriented Data Modelsackage incrementally compiles an object-oriented data model to a theory containing object-universes, constructors, accessors functions, coercions between dynamic and static types, characteristic sets, their relations reflecting inheritance, and the necessary class invariants. The package is conserva
NATAL
发表于 2025-3-25 02:31:43
ECOOP 2008 - Object-Oriented Programming978-3-540-70592-5Series ISSN 0302-9743 Series E-ISSN 1611-3349