Titlebook: ECOOP 2008 - Object-Oriented Programming; 22nd European Confer Jan Vitek Conference proceedings 2008 Springer-Verlag Berlin Heidelberg 2008

最高点

乐意

Limerick

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

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

中和

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

相互影响

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

熔岩

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

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

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

ECOOP 2008 - Object-Oriented Programming978-3-540-70592-5Series ISSN 0302-9743 Series E-ISSN 1611-3349