作者: 群居男女 時(shí)間: 2025-3-21 22:22 作者: Excitotoxin 時(shí)間: 2025-3-22 00:29
On Validity of Program Transformations in the Java Memory ModelSpecification. The main design goal of the Java Memory Model (JMM) was to allow as many optimisations as possible. However, we find that commonly used optimisations, such as common subexpression elimination, can introduce new behaviours and so are invalid for Java. In this paper, we describe several作者: coltish 時(shí)間: 2025-3-22 06:54 作者: miniature 時(shí)間: 2025-3-22 10:31 作者: Trabeculoplasty 時(shí)間: 2025-3-22 16:35
Kilim: Isolation-Typed Actors for Javaguages such as Java: (.) ultra-lightweight, cooperatively-scheduled threads (.), (.) a message-passing framework (no shared memory, no locks) and (.) isolation-aware messaging..Isolation is achieved by controlling the shape and ownership of mutable messages – they must not have internal aliases and 作者: Trabeculoplasty 時(shí)間: 2025-3-22 20:57
A Uniform Transactional Execution Environment for Java to make STM systems practical, significant effort has been made to integrate transactions into existing programming languages. Unfortunately, existing approaches fail to provide a simple implementation that permits lock-based and transaction-based abstractions to coexist seamlessly. Because of the 作者: Militia 時(shí)間: 2025-3-22 23:46 作者: 1分開 時(shí)間: 2025-3-23 01:22 作者: Affectation 時(shí)間: 2025-3-23 06:52 作者: 最高點(diǎn) 時(shí)間: 2025-3-23 10:24 作者: 樂意 時(shí)間: 2025-3-23 17:43 作者: Limerick 時(shí)間: 2025-3-23 18:15
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 時(shí)間: 2025-3-23 22:47
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作者: 中和 時(shí)間: 2025-3-24 04:09
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作者: 相互影響 時(shí)間: 2025-3-24 07:10
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作者: 熔巖 時(shí)間: 2025-3-24 13:00
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 時(shí)間: 2025-3-24 17:54
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 時(shí)間: 2025-3-24 20:31
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 時(shí)間: 2025-3-25 02:31
ECOOP 2008 - Object-Oriented Programming978-3-540-70592-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 脫離 時(shí)間: 2025-3-25 06:30
Fuzzy-Algorithmen in der Bildverarbeitung,core architectures. Boosting the performance of programs will thus necessarily go through parallelizing them. This is not trivial and the average programmer will badly need abstractions for synchronizing concurrent accesses to shared memory objects. The transaction abstraction looks promising for th作者: Impugn 時(shí)間: 2025-3-25 08:16
Frank H?ppner,Frank Klawonn,Rudolf Krusel type soundness results concerning wildcards, to the best of our knowledge, no system that includes all the key aspects of Java wildcards has been proven type sound. This paper establishes that Java wildcards are type sound. We describe a new formal model based on explicit existential types whose p作者: BUDGE 時(shí)間: 2025-3-25 15:09
Specification. The main design goal of the Java Memory Model (JMM) was to allow as many optimisations as possible. However, we find that commonly used optimisations, such as common subexpression elimination, can introduce new behaviours and so are invalid for Java. In this paper, we describe several作者: browbeat 時(shí)間: 2025-3-25 16:30
Methodological System for FLMODM, in a statically-typed language with a dynamically-typed class can require a significant number of manual indirections and other error-prone complications. Building on our previous interoperability work, we introduce a technique that allows safe, easy inheritance across languages. We demonstrate our作者: 催眠 時(shí)間: 2025-3-25 20:22 作者: miniature 時(shí)間: 2025-3-26 01:53 作者: 斑駁 時(shí)間: 2025-3-26 06:32 作者: inflate 時(shí)間: 2025-3-26 10:54
Microprozessoren, Hybridsysteme, Softwareicitly announced events that run registered observer methods. AO languages have implicitly announced events that run method-like but more powerful advice. A limitation of II languages is their inability to refer to a large set of events succinctly. They also lack the expressive power of AO advice. L作者: 賠償 時(shí)間: 2025-3-26 14:34 作者: 展覽 時(shí)間: 2025-3-26 20:52
Methoden der Fuzzy-Regelungstechnik,riented (AO) programming might lead to error-prone scenarios. As aspects extend or replace existing functionality at specific join points in the code execution, aspects’ behavior may bring new exceptions, which can flow through the program execution in unexpected ways. This paper presents a systemat作者: Stable-Angina 時(shí)間: 2025-3-27 00:49
,Unternehmensplanung und Unsch?rfe,lti-person or multi-site software project. How can we program in this environment? More precisely, how can language design address such evolution? In this paper we attack two significant issues that arise from constant component evolution: we propose language-level extensions that permit multiple, c作者: Painstaking 時(shí)間: 2025-3-27 01:26
AI Techniques for Agent Constructiont, and, when types are associated with run time tags, enables run-time type tests and external method dispatch. On the other hand, structural subtyping is flexible and compositional, allowing unanticipated reuse. To date, nearly all object-oriented languages fully support one subtyping paradigm or t作者: carotenoids 時(shí)間: 2025-3-27 05:37 作者: 沉默 時(shí)間: 2025-3-27 10:01 作者: tympanometry 時(shí)間: 2025-3-27 15:54 作者: 雪上輕舟飛過 時(shí)間: 2025-3-27 21:12
Rudolf Felix,Thomas Kretzberg,Martin Wehnerl-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作者: headway 時(shí)間: 2025-3-28 00:53 作者: 轉(zhuǎn)折點(diǎn) 時(shí)間: 2025-3-28 03:32 作者: 蒼白 時(shí)間: 2025-3-28 06:31 作者: antecedence 時(shí)間: 2025-3-28 10:54 作者: canonical 時(shí)間: 2025-3-28 17:48
https://doi.org/10.1007/978-3-540-70592-5Action; design; design patterns; programming; software architecture; testing; versioning作者: 熔巖 時(shí)間: 2025-3-28 22:35 作者: Solace 時(shí)間: 2025-3-29 01:49 作者: Phonophobia 時(shí)間: 2025-3-29 05:45 作者: Gudgeon 時(shí)間: 2025-3-29 07:13 作者: 禁止,切斷 時(shí)間: 2025-3-29 14:32
Strukturelle und quantifizierbare Vagheit,tate on which the framed predicate depends. Soundness is proved using a standard program semantics. The logic facilitates heap-local reasoning about object invariants: disciplines such as ownership are expressible but not hard-wired in the logic.作者: Exclaim 時(shí)間: 2025-3-29 16:20 作者: 帳單 時(shí)間: 2025-3-29 23:27
Kilim: Isolation-Typed Actors for Javailim comfortably scales to handle hundreds of thousands of actors and messages on modest hardware. It is fast as well – task-switching is 1000x faster than Java threads and 60x faster than other lightweight tasking frameworks, and message-passing is 3x faster than Erlang (currently the gold standard for . programming).作者: 有說服力 時(shí)間: 2025-3-30 03:35
Ptolemy: A Language with Quantified, Typed Eventst of implicit events and the reflective contextual information available. Quantified, typed events, as implemented in our language Ptolemy, solve all these problems. This paper describes Ptolemy and explores its advantages relative to both II and AO languages.作者: 失望未來 時(shí)間: 2025-3-30 06:42 作者: 憂傷 時(shí)間: 2025-3-30 09:20 作者: affinity 時(shí)間: 2025-3-30 14:55
A Unified Framework for Verification Techniques for Object Invariants technique, and identify sufficient conditions on these parameters which guarantee soundness. We instantiate our framework with three verification techniques from the literature, and use it to assess soundness and compare expressiveness.作者: 使入迷 時(shí)間: 2025-3-30 17:24
Fuzzy-Algorithmen in der Bildverarbeitung,is purpose and there is a lot of interest around its use in modern parallel programming. This talk will investigate whether the ”return” of the old transaction idea brings any interesting research question, especially for the programming language community.作者: 協(xié)議 時(shí)間: 2025-3-30 21:33
Frank H?ppner,Frank Klawonn,Rudolf Kruseack and unpack operations are handled implicitly, and prove it type sound. Moreover, we specify a translation from a subset of Java to our formal model, and discuss how several interesting aspects of the Java type system are handled.作者: PLUMP 時(shí)間: 2025-3-31 02:43
kinds of transformations and explain the problems with a number of counterexamples. More positively, we also examine some valid transformations, and prove their validity. Our study contributes to the understanding of the JMM, and has the practical impact of revealing some cases where the Sun Hotspot JVM does not comply with the Java Memory Model.作者: Encapsulate 時(shí)間: 2025-3-31 08:05 作者: 使絕緣 時(shí)間: 2025-3-31 09:18
,Klinische Untersuchungstechniken am Fu?,tive, i.e., all properties are derived entirely from axiomatic definitions. As an application, we use the package for an object-oriented core-language called ., for which correctness of a Hoare-Logic with respect to an operational semantics is proven.作者: absolve 時(shí)間: 2025-3-31 14:11 作者: capillaries 時(shí)間: 2025-3-31 20:56
Fuzzy Random MOMSDM for Facilities Planning,nds Java with features that provide a way to carry OO concepts into efficient hardware. We detail an end-to-end system from the language down to hardware synthesis and demonstrate a Lime program running on both a conventional processor and in an FPGA.作者: 寬度 時(shí)間: 2025-4-1 00:59 作者: 最有利 時(shí)間: 2025-4-1 03:32 作者: 橫截,橫斷 時(shí)間: 2025-4-1 06:44 作者: Dorsal-Kyphosis 時(shí)間: 2025-4-1 13:01
ipse plugin. We validate our work by testing this prototype on actual production code; preliminary results show that this approach is worthwhile. We found a significant number of previously undetected consistency errors and have received very positive feedback from the developer community in the case study.作者: 平常 時(shí)間: 2025-4-1 17:04
Fuzzy-Regler und Regler-Evaluierung,t on 20 long-running benchmarks and 4 hardware platforms. Given any combination of benchmark and platform, layout auditing consistently performs close to the best layout for that combination, without requiring offline training.
