Titlebook: Objects, Models, Components, Patterns; 48th International C Jan Vitek Conference proceedings 2010 Springer-Verlag Berlin Heidelberg 2010 Ja

Cyclone

书目名称Objects, Models, Components, Patterns影响因子(影响力)




书目名称Objects, Models, Components, Patterns影响因子(影响力)学科排名




书目名称Objects, Models, Components, Patterns网络公开度




书目名称Objects, Models, Components, Patterns网络公开度学科排名




书目名称Objects, Models, Components, Patterns被引频次




书目名称Objects, Models, Components, Patterns被引频次学科排名




书目名称Objects, Models, Components, Patterns年度引用




书目名称Objects, Models, Components, Patterns年度引用学科排名




书目名称Objects, Models, Components, Patterns读者反馈




书目名称Objects, Models, Components, Patterns读者反馈学科排名

Frequency

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

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.

倾听

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

Polydipsia

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.

不可知论

surmount

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

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

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.