Cyclone
发表于 2025-3-21 19:57:41
书目名称Objects, Models, Components, Patterns影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0700242<br><br> <br><br>书目名称Objects, Models, Components, Patterns影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0700242<br><br> <br><br>书目名称Objects, Models, Components, Patterns网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0700242<br><br> <br><br>书目名称Objects, Models, Components, Patterns网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0700242<br><br> <br><br>书目名称Objects, Models, Components, Patterns被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0700242<br><br> <br><br>书目名称Objects, Models, Components, Patterns被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0700242<br><br> <br><br>书目名称Objects, Models, Components, Patterns年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0700242<br><br> <br><br>书目名称Objects, Models, Components, Patterns年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0700242<br><br> <br><br>书目名称Objects, Models, Components, Patterns读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0700242<br><br> <br><br>书目名称Objects, Models, Components, Patterns读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0700242<br><br> <br><br>
Frequency
发表于 2025-3-22 00:07:36
Reasoning about Function Objects, is, independently from specific instantiations of the function objects. To demonstrate the feasibility of our approach, we have implemented an automatic prover, which verifies several non-trivial examples.
CRUC
发表于 2025-3-22 03:47:14
Welterweight Java,te the potential of the calculus by showing two extensions. The first is a version of . extended with deep ownership. This serves two purposes—it is a minimal formalisation of ownership, interesting in its own right, and shows how easily . can be extended. The second is a simple non-null types system.
倾听
发表于 2025-3-22 08:26:10
Optimizing Aspect-Oriented Mechanisms for Embedded Applications,achine. Our experiments show that these optimizations yield a considerable performance gain along with a reduction of the code size. Thus, our optimizations establish the base for using advanced aspect-oriented modularization techniques for developing Java applications on small embedded devices.
Ferritin
发表于 2025-3-22 12:40:51
http://reply.papertrans.cn/71/7003/700242/700242_5.png
Polydipsia
发表于 2025-3-22 12:57:30
Encoding Ownership Types in Java,ip types and parametric and existential types. We formalise our encoding using a model for Java’s type system, and prove that it is sound and enforces an ownership hierarchy. Finally, we leverage our encoding to produce lightweight compilers for Ownership Types and Universe Types — each compiler took only one day to implement.
不可知论
发表于 2025-3-22 19:49:53
http://reply.papertrans.cn/71/7003/700242/700242_7.png
surmount
发表于 2025-3-22 22:48:50
A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage, the base for defining concrete FDLs while guaranteeing that all relevant framework aspects are covered. Particularly, due to its generic character, parts of the meta-model representing specific framework aspects can be instantiated by existing or newly defined languages.
Outwit
发表于 2025-3-23 04:25:49
Read-Only Execution for Dynamic Languages,nt dynamic read-only references by using smart object proxies that lazily propagate the read-only view, following the object graph and driven by control flow and applied them to realize side-effect free assertions.
Delirium
发表于 2025-3-23 06:39:30
Domain-Specific Program Checking,t language; and (2) Magritte adds meta-descriptions to existing code by means of special methods. Our empirical validation demonstrates that domain-specific program checking significantly improves code quality when compared with general purpose program checking.