螺丝刀
发表于 2025-3-21 19:08:51
书目名称ECOOP 2013 -- Object-Oriented Programming影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0300301<br><br> <br><br>书目名称ECOOP 2013 -- Object-Oriented Programming影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0300301<br><br> <br><br>书目名称ECOOP 2013 -- Object-Oriented Programming网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0300301<br><br> <br><br>书目名称ECOOP 2013 -- Object-Oriented Programming网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0300301<br><br> <br><br>书目名称ECOOP 2013 -- Object-Oriented Programming被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0300301<br><br> <br><br>书目名称ECOOP 2013 -- Object-Oriented Programming被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0300301<br><br> <br><br>书目名称ECOOP 2013 -- Object-Oriented Programming年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0300301<br><br> <br><br>书目名称ECOOP 2013 -- Object-Oriented Programming年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0300301<br><br> <br><br>书目名称ECOOP 2013 -- Object-Oriented Programming读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0300301<br><br> <br><br>书目名称ECOOP 2013 -- Object-Oriented Programming读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0300301<br><br> <br><br>
delusion
发表于 2025-3-21 23:36:20
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
发表于 2025-3-22 02:07:27
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
发表于 2025-3-22 06:23:36
http://reply.papertrans.cn/31/3004/300301/300301_4.png
取回
发表于 2025-3-22 12:22:12
,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
发表于 2025-3-22 16:57:39
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
发表于 2025-3-22 17:59:10
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
发表于 2025-3-22 21:35:05
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.
冬眠
发表于 2025-3-23 04:13:51
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
发表于 2025-3-23 09:19:43
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.