Titlebook: ECOOP 2013 -- Object-Oriented Programming; 27th European Confer Giuseppe Castagna Conference proceedings 2013 Springer-Verlag Berlin Heidel

螺丝刀

书目名称ECOOP 2013 -- Object-Oriented Programming影响因子(影响力)




书目名称ECOOP 2013 -- Object-Oriented Programming影响因子(影响力)学科排名




书目名称ECOOP 2013 -- Object-Oriented Programming网络公开度




书目名称ECOOP 2013 -- Object-Oriented Programming网络公开度学科排名




书目名称ECOOP 2013 -- Object-Oriented Programming被引频次




书目名称ECOOP 2013 -- Object-Oriented Programming被引频次学科排名




书目名称ECOOP 2013 -- Object-Oriented Programming年度引用




书目名称ECOOP 2013 -- Object-Oriented Programming年度引用学科排名




书目名称ECOOP 2013 -- Object-Oriented Programming读者反馈




书目名称ECOOP 2013 -- Object-Oriented Programming读者反馈学科排名

delusion

Heinz Pfeifer,Gerald Kabisch,Hans Lautnere three desired ones: safety, programmability, and efficiency. In this paper, we introduce a novel runtime ownership model that supports the first memory isolation model of actors with these three properties—it is safe, developer-friendly, and efficient.

ECG769

Conference proceedings 2013 2013. The 29 papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections on aspects, components, and modularity; types; language design; concurrency, parallelism, and distribution; analysis and verification; modelling and refacto

subacute

取回

,Schlucken und Schluckbeeinträchtigung,t with . about the page and with . about the structure of containers. Together, these two extensions allow us to track precisely which nodes are active in a jQuery object, with minimal programmer annotation effort. We evaluate this work by applying it to sample real-world jQuery programs.

amorphous

Petra Scherer,Elisabeth Moser Opitznear, and the precision of decomposition – placing objects to scopes as non-global as possible – can be reduced to a linear programming problem. . has been implemented as an open-source tool that can decompose real-world Java applications of more than 100K LOC and up to 6000 statically distinct instantiations.

amorphous

Heinz Pfeifer,Gerald Kabisch,Hans Lautnercture for dynamic program analysis tools which treats the maintenance of analysis state in a modular fashion, consisting of . decomposing input events spatially, and . aggregating them over time. We show that this architecture captures the requirements of a wide variety of existing analysis tools.

VEST

ness. We also investigate the underlying invariant checking problem in general and show that it is co-NP hard, i.e., that solutions must be approximations to remain tractable. We have seen a factor of thirty performance improvement using this algorithm in a case study.

冬眠

CoCo: Sound and Adaptive Replacement of Java Collectionsework, and developed a static CoCo compiler to generate Java code that performs optimizations. This work is the first step towards achieving the ultimate goal of automatically optimizing away semantic inefficiencies.

podiatrist

Combining Form and Function: Static Types for JQuery Programst with . about the page and with . about the structure of containers. Together, these two extensions allow us to track precisely which nodes are active in a jQuery object, with minimal programmer annotation effort. We evaluate this work by applying it to sample real-world jQuery programs.