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影響因子(影響力)學(xué)科排名




書目名稱Objects, Models, Components, Patterns網(wǎng)絡(luò)公開(kāi)度




書目名稱Objects, Models, Components, Patterns網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書目名稱Objects, Models, Components, Patterns被引頻次




書目名稱Objects, Models, Components, Patterns被引頻次學(xué)科排名




書目名稱Objects, Models, Components, Patterns年度引用




書目名稱Objects, Models, Components, Patterns年度引用學(xué)科排名




書目名稱Objects, Models, Components, Patterns讀者反饋




書目名稱Objects, Models, Components, Patterns讀者反饋學(xué)科排名

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.

傾聽(tīng)

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.